3.5 Threads: the Threads structure
'a thread
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.