Inout.Operational_inputs
val get_external :
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Inout_type.t
val get_external_aux :
?stmt:Frama_c_kernel.Cil_types.stmt ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Inout_type.t
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