4.7.5 The Language structure

abstractions

Compatibility option

Structure

Shell.Options.Language

Type

val abstractions: bool option

Description

If true, use abstractions. Abstractions are discussed in the Standard ML Technical Report by Robert Harper, David MacQueen and Robert Milner, published by the University of Edinburgh. Note that the same functionality is provided in SML '96 by opaque signature matching.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker