Mosml ML's predefined library units are shown in Figure 12 below. The status of each unit is indicated according to this table:
The index on page of this manual lists all identifiers defined in the Moscow ML library units.
In an interactive mosml session you can obtain more information about any library unit unit by evaluating help " unit";. You can obtain the list of all libraries by typing help "lib";.
On the Internet you can find the same documentation at
http://www.dina.kvl.dk/~sestoft/mosmllib/index.html
; also, you
may download the underlying HTML files for local browsing.
Figure 1: Predefined library units