Module Dolmen_std.TimerSource

Simple timer

Sourcetype t

The type of a timer.

Sourceval start : unit -> t

Start a timer.

Sourceval stop : t -> float

Stop a timer and return the total time of the timer.