Module Inputs

module Inputs: sig .. end

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