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!]