Null()
: Test for Unbound Thread=
: Assignment
Thread()
: DuplicationSpecification: Defines a thread handle t bound to the same thread as s. If s is not bound to any thread, t is also unbound.
Note: This definition is more efficient than the otherwise equivalent form
Thread<R> t =
s