3 The MLWorks Pervasive Library

3.1 Introduction

The pervasive library is built in to MLWorks, in the permanently available structure MLWorks. It provides a variety of MLWorks-specific features. These include application delivery tools, a concurrency ("threads") mechanism, and a programmatic interface to the MLWorks profiler.

The pervasive library is also available as a set of separately compiled and source files. See the installation notes for your version of MLWorks for details of their location.

The MLWorks structure has the following skeletal signature:

signature MLWORKS = 
 sig
   exception Interrupt
   val arguments: unit -> string list
   structure Deliver
   structure Internal
   structure IO         * 
   structure Option     * 
   structure Profile
* Deprecated structure.

(continued)

   structure String 
   structure Threads
   structure Time
 end
3.1.1 - Deprecated and undocumented features
3.1.2 - Supported features
MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker