sig
val get_external : Cil_types.kernel_function -> Inout_type.t
val get_external_aux :
?stmt:Cil_types.stmt -> Cil_types.kernel_function -> Inout_type.t
val pretty_operational_inputs_internal :
Stdlib.Format.formatter -> Cil_types.kernel_function -> unit
val pretty_operational_inputs_external :
Stdlib.Format.formatter -> Cil_types.kernel_function -> unit
val pretty_operational_inputs_external_with_formals :
Stdlib.Format.formatter -> Cil_types.kernel_function -> unit
end