Module Threads


module Threads: sig .. end
All the definitions of built-in concurrency primitives.

These definitions are grouped as one module to allow simple replacement of these primitives by other implementations of concurrency, such as coThreads.


module Threads.Condition: Batteries.Condition
Condition variables to synchronize between threads.
module Threads.Event: Batteries.Event
First-class synchronous communication.
module Threads.Mutex: Batteries.Mutex
Locks for mutual exclusion.
module Threads.RMutex: Batteries.RMutex
Locks for mutual exclusion.
module Threads.Thread: Batteries.Thread
Lightweight threads for Posix 1003.1c and Win32.