package mirage-time

mirage-time -- Time operations for MirageOS

mirage-time defines:

• Mirage_time.S the signature for time-related operations for MirageOS;

• Mirage_time_lwt.S the previous signature specialized Lwt; and

• Time an implementation of the previous signature for the Unix backend.

Installation

mirage-time can be installed with opam:

opam install mirage-time

If you don't use opam consult the opam file for build instructions.