4.7.1 Top-level items: 'a option, get and set

'a option

Equality type

Structure

Shell.Options

Type

eqtype 'a option
Description

The type of options.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker