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)