sig val start_doing : Value_types.callstack -> unit val stop_doing : Value_types.callstack -> unit val display : Stdlib.Format.formatter -> unit val reset : unit -> unit end