The preloaded library units

The following libraries are preloaded by default: Array, Char, List, String, TextIO, and Vector. To load any other library lib, evaluate load "lib" in the top-level system.

Notation in the tables below

List manipulation functions (unit List)

• Functions hd, tl, and last may raise exception Empty; functions drop, nth, and take may raise exception Subscript.
• For a more detailed description, type help "List"; or see file mosml/lib/List.sig. The List unit is loaded and partially opened in the initial environment, making the following functions available: @, app, foldl, foldr, hd, length, map, null, rev, tl.

Built-in values and functions for text-mode input/output (unit TextIO)

• For a more detailed description, see file mosml/lib/TextIO.sig, or type help "TextIO";.
• For the corresponding structure BinIO for binary (untranslated) input and output, see help "BinIO".
• On error, these functions will raise exception Io with an explanatory argument.

String manipulation functions (unit String)

• Functions ^, concat, implode, and translate may raise exception Size, and sub and substring may raise Subscript.
• In addition, the overloaded comparison operators <, <=, >, >= work on strings.
• For a more detailed description, see file mosml/lib/String.sig, or type help "String";.

Vector manipulation functions (unit Vector)

Type 'a vector is the type of one-dimensional, immutable, zero-based constant time access vectors with elements of type 'a. Type 'a vector admits equality if 'a does.

• Functions fromList, tabulate, and concat may raise exception Size, and sub and extract may raise Subscript.
• For a more detailed description, type help "Vector"; or see file mosml/lib/Vector.sig.

Array manipulation functions (unit Array)

Type 'a array is the type of one-dimensional, mutable, zero-based constant time access arrays with elements of type 'a. Type 'a array admits equality regardless whether 'a does.

• Functions array, tabulate, and fromList may raise exception Size, and sub, update, extract, and copy may raise Subscript.
• For a more detailed description, type help "Array"; or see file mosml/lib/Array.sig. The Array unit is loaded but not opened in the initial environment.

Character manipulation functions (unit Char)

• In addition, the overloaded comparison operators <, <=, >, >= work on the char type.
• For a more detailed description, type help "Char"; or see file mosml/lib/Char.sig. The Char unit is loaded and partially opened in the initial environment, making the functions chr and ord available.