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