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.
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker