3.5 Threads: the Threads structure
get_id
Function
Summary
Returns a thread's identifier.
Signature
MLWORKS.Threads.Internal
Structure
MLWorks.Threads.Internal
Type
val get_id : 'a thread -> thread_id
Syntax
get_id t -> ID
Arguments
- t
- A thread.
Values
- ID
- A thread identifier.
Description
Returns the identifier of thread t.