3.5 Threads: the Threads structure
sleep
Function
Summary
Puts a thread to sleep.
Signature
MLWORKS.Threads
Structure
MLWorks.Threads
Type
val sleep : 'a thread -> unit
Syntax
sleep t -> ()
Arguments
- t
- A thread.
Values
()
Description
Puts the thread t to sleep. Raises the exception Threads if t is already asleep.