package mirage-time-unix

  1. Overview
  2. Docs

README.md.html

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.