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