1 Introducing the MLWorks Libraries

1.3 The MLWorks pervasive library

The MLWorks pervasive library is available in interactive environment in the built-in structure MLWorks. It is also available separately in the MLWorks installation as a set of source and compiled files so that you can use it in your applications.

The pervasive library is MLWorks' own general-purpose library containing facilities for I/O, creation of standalone applications, multiprocessing, profiling, and so on. There is some overlap between the facilities provided by the pervasive library and those provided by the Standard ML Basis library.

See Chapter 3, "The MLWorks Pervasive Library", for more details.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker