4.7 Environment options: the Options structure
4.7.1 Top-level items: 'a option, get and set
The type 'a option and the functions get and set are available at top level in Options.
4.7 Environment options: the Options structure
The type 'a option and the functions get and set are available at top level in Options.