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.