sig
  type t = Inout_type.t
  val self_internal : State.t ref
  val self_external : State.t ref
  val compute : (Cil_types.kernel_function -> unit) ref
  val get_internal : (Cil_types.kernel_function -> t) ref
  val get_external : (Cil_types.kernel_function -> t) ref
  val display : (Format.formatter -> Cil_types.kernel_function -> unit) ref
  val pretty : Format.formatter -> t -> unit
  val get_internal_precise :
    (?stmt:Cil_types.stmt -> Cil_types.kernel_function -> Inout_type.t)
    Stdlib.ref
  module Record_Inout_Callbacks :
    sig
      type param = Value_types.callstack * Inout_type.t
      type result = unit
      val extend : (param -> result) -> unit
      val extend_once : (param -> result) -> unit
      val apply : param -> result
      val is_empty : unit -> bool
      val clear : unit -> unit
      val length : unit -> int
    end
end