Next Previous Up Top Contents Index

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

MLWorks Reference Manual version 2.0 - 29 Jul 1998

Next Previous Up Top Contents Index

Generated with Harlequin WebMaker