Module Value_perf

module Value_perf: sig .. end
Call start_doing when starting analyzing a new function. The new function is on the top of the call stack.

val start_doing : Value_types.callstack -> unit
val stop_doing : Value_types.callstack -> unit
Call start_doing when finishing analyzing a function. The function must still be on the top of the call stack.
val display : Format.formatter -> unit
Display a complete summary of performance informations. Can be called during the analysis.
val reset : unit -> unit
Reset the internal state of the module; to call at the very beginning of the analysis.