sig val pretty_external : Stdlib.Format.formatter -> Cil_types.kernel_function -> unit val pretty_internal : Stdlib.Format.formatter -> Cil_types.kernel_function -> unit end