3.5 Threads: the Threads structure
wake
Function
Summary
Wakes a thread up.
Signature
MLWORKS.Threads
Structure
MLWorks.Threads
Type
val wake : 'a thread -> unit
Syntax
wake t -> ()
Arguments
- t
- A thread.
Values
()
Description
Wakes the thread t up, if it was asleep. Raises the exception Threads if t is already awake.