let pretty_external fmt kf = try Format.fprintf fmt "@[Out (external) for function %a:@\n@[<hov 2> %a@]@]@\n" Kernel_function.pretty kf Zone.pretty (get_external kf) with Not_found -> ()