module Operational_inputs: sig
.. end
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