module Timer: sig .. end
sig
end
Imperative timers for profiling
module type S = sig .. end
The interface of timers
module Make: functor (X : sig val profiling : boolend) -> S
functor (
X
:
val profiling : bool
bool
end) -> S
) ->
S
Functor to create a new timer.