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