4.7.6 The Mode structure

debugging

Mode option

Structure

Shell.Options.Mode

Type

val debugging: bool option

Description

If true, all subsequent compilations will include debugging information.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker