Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Cooperative threads.
val async : (unit -> 'a) -> t
async f
creates a new thread of control which executes f ()
and returns the corresponding thread handle. The thread terminates whenever f ()
returns a value or raises an exception.
val await : t -> unit
await t
blocks on the termination of t
.
val return : unit -> t
return ()
is a pre-terminated thread handle.