Module Profiler_intf.Delta_timer
Delta_timer
is an optimized two-probe group to track time differences between calls to start
and stop
.
val create : name:string -> t
val start : t -> unit
val stop : t -> unit
val pause : t -> unit
val record : t -> unit
val stateless_start : t -> state
val stateless_stop : t -> state -> unit
val wrap_sync : t -> ('a -> 'b) -> 'a -> 'b
Typically partially applied (the first two arguments) to produce a 'wrapped' function. This behaves like the identity function on functions, except it times the inner function.