type diff_stat = {mutable s_deletes : int;mutable s_deletes_gr : int;mutable s_inserts : int;mutable s_inserts_gr : int;mutable s_relabels : int;mutable s_relabels_gr : int;mutable s_movrels : int;mutable s_moves : int;mutable s_moves_gr : int;mutable s_mapping : int;mutable s_units : int;mutable s_unmodified_units : int;mutable s_nnodes1 : int;mutable s_nnodes2 : int;}val empty_diff_stat : unit -> diff_statval diff_stat_short_fmt :
unit ->
(int ->
int ->
int ->
int ->
int ->
int ->
int ->
int ->
int ->
int ->
int ->
int ->
string ->
'a,
'b,
'c,
'd,
'd,
'a)
format6val dump_diff_stat_ch : ?short:bool -> diff_stat -> out_channel -> unitval show_diff_stat : ?short:bool -> diff_stat -> unitval dump_diff_stat : string -> diff_stat -> unitval info_fmt :
unit ->
(string -> int -> int -> int -> 'a, 'b, 'c, 'd, 'd, 'a) format6val dump_info_ch :
< get_whole_initial_leaves : 'a list ; id : string ; initial_size : int.. > ->
int ->
out_channel ->
unit