The SML/NJ Library provides useful utility modules that supplement the The Standard ML Basis Library. A subset of these modules are particularly useful for writing compilers, and we document them here.

To use any of these modules in your projects, include the following line in your CM file:


These modules can also be used directly in the SML/NJ REPL, since CM autoloads them. For example:

% sml
Standard ML of New Jersey v110.80 [built: Fri Aug 19 07:49:58 2016]
- Atom.atom "abc";
[library $SMLNJ-LIB/Util/ is stable]
[autoloading done]
val it = - : Atom.atom