Source file `s.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
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