Module Util.TimeRP (.ml)

module TimeRP: 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.