In addition to Standard ML Basis Library, SML# provides its own libraries for exploiting SML# language features. Being SML# specific libraries, they are directly provided through interface files (smi files) without signature specification. The are organized into library interface files (smi files), which are referenced by file name ($⟨$librarySmiFilePath$\mathrm{⟩}$) without specifying file paths ($⟨$smiFilePath$\mathrm{⟩}$).

The current version provide the following.

These libraries may be referred by the compiler to realize the SML# extensions. To use the following SML# extensions in separate compilation mode, you must _require the following libraries from your interface file:

• •

  To use SQL expressions, you must _require "sql.smi".

• •

  To call a polymorphic function with #reify kind, you must _require "reify.smi".