let pretty_external fmt kf = Format.fprintf fmt "@[Inputs for function %a:@\n@[<hov 2> %a@]@]@\n" Kernel_function.pretty_name kf Zone.pretty (get_external kf)