package index

  1. Overview
  2. Docs
module type IO = sig ... end
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 S = sig ... end