let print_ff_sig fmt ff = Format.fprintf fmt "%s : " (M.ff_name ff); match FctMarks.get_sgn ff with | None -> Format.fprintf fmt "<not computed>@." | Some s -> Format.fprintf fmt "%a@." Marks.pretty_sig s