Module Operational_inputs

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