Module `Util.Timer`

Timers are printed all at once by the dump function on stderr. * They can enabled or disabled (default)

type t

val create : ?⁠enabled:bool -> string -> t: create s create and register a new logger named s

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

val start : t -> unit
val stop : t -> 'a -> 'a
val available : unit -> label list: return the labels of all available progress bar