Module Util.Timer
Timers are printed all at once by the dump
function on stderr. * They can enabled or disabled (default)
val create : ?enabled:bool -> string -> t
create s
create and register a new logger nameds
val enable : label -> unit
enable "barname"
: enable the progress bar with label "barname"
val pp_timer : Stdlib.Format.formatter -> t -> unit
val dump : Stdlib.Format.formatter -> unit -> unit
print all timers that are enabled