package index
package index
-
index
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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.