Mavryk_base_unix.Simple_profilerMemory driver allowing building intermediate reports with purpose of being included in external reports or manipulated directly.
val auto_write_to_txt_file :
(string * Mavryk_base.TzPervasives.Profiler.lod)
Mavryk_base.TzPervasives.Profiler.driverDriver printing its report to a file whenever a toplevel section ends.
val auto_write_to_json_file :
(string * Mavryk_base.TzPervasives.Profiler.lod)
Mavryk_base.TzPervasives.Profiler.driver