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
In a single-threaded program: fails
method repr :
May be used internally be the implementation