Module Util.TimeCertificate (.ml)

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