Make._module IO : Platform.IOmodule Semaphore : Platform.SEMAPHOREBinary semaphores for mutual exclusion
module Thread : Platform.THREADCooperative threads.
module Clock : Platform.CLOCKA monotonic time source. See Mtime_clock for an OS-dependent implementation.
module Fmt_tty : Platform.FMT_TTY