Source file `s.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
module type FUNCTOR = sig
  type 'a t
end

module type MEASURE = sig
  type witness

  val label : witness -> string

  val unit : witness -> string

  val make : unit -> witness

  val load : witness -> unit

  val unload : witness -> unit

  val get : witness -> float
end