Source file mclock.ml

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