'a thread

3.5 Threads: the Threads structure

Type

Summary

The type of threads.

Signature

MLWORKS.Threads

Structure

MLWorks.Threads

Type

type 'a thread

Description

The type of threads. A value of type t thread is a thread that is evaluating an expression of type t.

MLWorks Reference Manual (version 1.0) - 3 DEC 1996