Functor Timer.Make (.ml)

module Make: functor (X : sig

val profiling : bool

end) -> S

Functor to create a new timer. If profiling is false in the parameter module, the timer will be inactive.

Parameters:

X : sig val profiling : bool end

val start : unit -> unit

Start (or restart) recording user time when this function is called.

val pause : unit -> unit

Pause the time, i.e. accumulates time elapsed since last (re-)start

val get : unit -> float

Returns the time in seconds accumulated in the timer.