SML# provide all the required libraries defined in Standard ML Basis Library specifications [2]. All the structures have signature specifications. In the following sections, we first define the formal signatures. For each signature specification, we define the set of structures that implement the signature with additional type information. The details of the semantics of functions, we refer the reader to the specification of the Standard ML Basis Library [2].

The following are the (top-level) signatures and structures provided by SML#.

The set of interface files of all the structures in the basis library described in this chapter are hierarchically organized and are included in the interface file basis.smi. Writing the following declaration in an interface file of a source file makes all the basis library structures and signatures available to the source program.

_require "basis.smi"