4.7.5 The Language structure

requireReservedWord

Preferences option

Structure

Shell.Options.Language

Type

val requireReservedWord: bool option

Description

If true, the Standard ML language that MLWorks recognizes is extended to allow the use of the keyword require. This keyword is used to express dependencies in source files.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker