4.7.6 The Mode structure

optimizing

Mode option

Structure

Shell.Options.Mode

Type

val optimizing: bool option

Description

If true, all subsequent compilations will be optimized.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker