3.5 Threads: the Threads structure
kill
Function
Summary
Kills a thread.
Signature
MLWORKS.Threads.Internal
Structure
MLWorks.Threads.Internal
Type
val kill : thread_id -> unit
Syntax
kill ID -> ()
Arguments
- ID
- A thread identifier.
Values
()
Description
Kills the thread ID.
Warning: It is quite possible to kill MLWorks with kill. The following call, for example, will do just that:
kill (id ());