3.5 Threads: the Threads structure

sleep

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

unit

Description

Puts the thread t to sleep. Raises the exception Threads if t is already asleep.

Generated with Harlequin WebMaker