Module Util.TimeSimpl (.ml)

module TimeSimpl: Timer.S 

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.