System structures

Standard ML of New Jersey provides the SML'97 Basis Library, and the SML/NJ library collection of libraries. In addition there are several other accessible system structures that provide access to system information of functionality.

Some features such as weak pointers (Weak), first-class continuations (Cont), and suspensions (Susp) are provided by the SMLofNJ structure.

The SMLofNJ structure includes the following substructures:

Some useful system structures are:

SML/NJ also provides access to some internal types and functionalities of the compiler itself. These are made accessible by binding some internal structures (e.g. Control, PP) in the top-level environment. \[requires further documentation!]