Trace_stat_summary_pp.Table4
Curves
type summary_floor = [
|
`Spacer
|
`Data of scalar_format * string * (string * Trace_stat_summary.curve) list
]
A summary_floor
of tag `Data
contains all the data necessary in order to print a bunch of rows, 1 per summary, all displaying the same summary entry.
val create_header_rows :
int ->
Trace_stat_summary.t list ->
PrintBox.t list list
val floors_of_summaries : string list -> summary list -> summary_floor list
val matrix_of_data_floor :
[< `Data of
[< `P | `R | `R3 | `RG | `RM | `Ri | `S | `S3 | `SM | `Sm | `Su P ]
* string
* (string * float list) list ] ->
Pb.t list list
val matrix_of_floor :
int ->
[< `Data of
[< `P | `R | `R3 | `RG | `RM | `Ri | `S | `S3 | `SM | `Sm | `Su P ]
* string
* (string * float list) list
| `Spacer ] ->
Pb.t list list