Irmin_traces.Trace_stat_summary_ppPretty printing of one or more summaries.
This file is NOT meant to be used from Tezos, as opposed to some other "trace_*" files.
This file contains A LOT of uninteresting boilerplate in order to build the pretty-printable table. Doing this using pandas-like multi-level dataframes would make the thing much more simpler.
module Utils = Trace_stat_summary_utilsmodule Summary = Trace_stat_summarymodule Pb : sig ... endtype summary = Summary.tSeconds minutes, Seconds 3 digits, Seconds milli, Seconds micro, Real giga, Real mega, Real as integer, Real 3 digits, Percent
module Table0 : sig ... endSummary
module Table1 : sig ... endHighlights
module Table2 : sig ... endmodule Table3 : sig ... endmodule Table4 : sig ... endCurves
val unsafe_pp :
int ->
Stdlib.Format.formatter ->
string list ->
Summary.t list ->
unitval pp :
int ->
Stdlib.Format.formatter ->
(string list * Summary.t list) ->
unit