Source file `mclock.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
open Functoria.DSL

type mclock = MCLOCK

let mclock = typ MCLOCK

let default_monotonic_clock =
  let packages_v =
    Key.(if_ is_unix)
      [ package ~min:"4.1.0" ~max:"5.0.0" "mirage-clock-unix" ]
      [ package ~min:"4.2.0" ~max:"5.0.0" "mirage-clock-solo5" ]
  in
  impl ~packages_v "Mclock" mclock