class type thread =
method id :
In a multi-threaded program: Returns the thread ID. In a single-threaded program: Returns 0.
method join :
unit -> unit
In a multi-threaded program: Suspends the calling thread until this thread terminates. In a single-threaded program: fails
method repr :
May be used internally be the implementation