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