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