T (index.Index.Make.5-T)

type t

The type of thread handles.

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.

val yield : unit -> unit

Re-schedule the calling thread without suspending it.