Source file `pclock.ml`

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

type pclock = PCLOCK

let pclock = typ PCLOCK

let default_posix_clock =
  let packages_v =
    Key.(if_ is_unix)
      [ package ~min:"3.0.0" ~max:"5.0.0" "mirage-clock-unix" ]
      [ package ~min:"4.2.0" ~max:"5.0.0" "mirage-clock-solo5" ]
  in
  impl ~packages_v "Pclock" pclock