Platform.S
module IO : IO
module Semaphore : SEMAPHORE
Binary semaphores for mutual exclusion
module Thread : THREAD
Cooperative threads.
module Clock : CLOCK
A monotonic time source. See Mtime_clock for an OS-dependent implementation.
Mtime_clock