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