4.7 Environment options: the Options structure

4.7.5 The Language structure

structure Language:
 sig
  val oldDefinition: bool option
  val abstractions: bool option
  val opOptional: bool option
  val limitedOpen : bool option
  val weakTyvars: bool option
  val fixityInSignatures: bool option
  val fixityInOpen: bool option
  val requireReservedWord: bool option
  val typeDynamic: bool option
end

oldDefinition

abstractions

opOptional

limitedOpen

weakTyvars

fixityInSignatures

fixityInOpen

requireReservedWord

typeDynamic

Generated with Harlequin WebMaker