Index.Platform
module type IO = sig ... end
module type CLOCK = sig ... end
A monotonic time source. See Mtime_clock for an OS-dependent implementation.
Mtime_clock
module type SEMAPHORE = sig ... end
Binary semaphores for mutual exclusion
module type THREAD = sig ... end
Cooperative threads.
module type S = sig ... end