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 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 Profile
   structure String 
   structure Threads
 end

---

MLWorks Reference Manual version 2.0 - 29 Jul 1998

Generated with Harlequin WebMaker