3.5 Threads: the Threads structure

thread_id

Equality type

Summary

The type of thread identifiers.

Signature

MLWORKS.Threads.Internal

Structure

MLWorks.Threads.Internal

Type

eqtype thread_id

Description

The type of thread identifiers. This type is an abstract form of 'a thread which exists to make the thread control functions of MLWorks.Threads.Internal safely typed.

For example, thread_id is necessary in order to give the type of the function all, which returns the list of all threads that currently exist, and which will, in all probability, be evaluating expressions of different types.