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 '97 by opaque signature matching.