Module Brassaia_index.Platform

module type IO = Io.S
module type CLOCK = sig ... end

A monotonic time source. See Mtime_clock for an OS-dependent implementation.

module type SEMAPHORE = sig ... end

Binary semaphores for mutual exclusion

module type THREAD = sig ... end

Cooperative threads.

module type FMT_TTY = sig ... end
module type S = sig ... end