method pp_file_metrics fmt filename =
Format.fprintf fmt "@[<v 0>%a@]"
(fun fmt filename ->
let fun_tbl = self#stats_of_filename filename in
Datatype.String.Map.iter (fun _fun_name fmetrics ->
Format.fprintf fmt "@ %a" pp_my_metrics fmetrics)
fun_tbl;
) filename