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)     Pervasives.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