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.


MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker