4.7 Environment options: the Options structure
4.7.6 The Mode structure
The Mode structure provides compatibility with the new and old definitions of ML, and provides a concise way of setting global optimization and debugging options.
structure Mode: sig val sml'97: unit -> unit val sml'90: unit -> unit val compatibility: unit -> unit val optimizing: bool option val debugging: bool option end