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.
mirage-time
can be installed with opam
:
opam install mirage-time
If you don't use opam
consult the opam
file for build
instructions.