Module Eva_perf

module Eva_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 : Stdlib.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.