Module Timer (.ml)

module Timer: sig .. end

Imperative timers for profiling


module type S = sig .. end

The interface of timers

module Make: 
functor (X : sig
val profiling : bool
end) -> S 

Functor to create a new timer.