mirage-time defines:
mirage-time
mirage-time can be installed with opam:
opam
opam install mirage-time
If you don't use opam consult the opam file for build instructions.