method pp_detailed_text_metrics fmt () = Datatype.String.Map.iter (fun filename _func_tbl -> Format.fprintf fmt "%a" self#pp_file_metrics filename) metrics_map