Module Inout.Operational_inputs

val pretty_operational_inputs_internal : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.kernel_function -> unit
val pretty_operational_inputs_external : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.kernel_function -> unit
val pretty_operational_inputs_external_with_formals : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.kernel_function -> unit