3.5 Threads: the Threads structure
children
Function
Summary
Returns the list of threads that are the children of a thread.
Signature
MLWORKS.Threads.Internal
Structure
MLWorks.Threads.Internal
Type
val children : thread_id -> thread_id list
Syntax
children ID -> ID-list
Arguments
- ID
- A thread identifier.
Values
- ID-list
- A list of thread identifiers.
Description
Returns the list of threads that are the children of ID, that is, the threads that were initiated by the thread with thread_id ID.