3.5 Threads: the Threads structure
get_num
Function
Signature
MLWORKS.Threads.Internal
Structure
MLWorks.Threads.Internal
Type
val get_num : thread_id -> int
Syntax
get_num ID -> number
Arguments
- ID
- A thread identifier.
Values
- number
- A thread number.
Description
Returns the thread number of the thread ID.