let pretty_external_with_formals fmt kf =
  Format.fprintf fmt "@[InOut (with formals) for function %a:@\n%a@]@\n"
    Kernel_function.pretty kf
    Db.Operational_inputs.pretty (get_external_with_formals kf)