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.

See also

parent, page 55


MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker