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