sig
val add :
Cil_types.varinfo ->
Cil_types.kernel_function option ->
Cil_types.kinstr -> Cil_types.lval -> unit
val get :
Cil_types.varinfo ->
(Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
list
val self : State.t
val get_last_result :
unit ->
((Kernel_function.t option * Cil_types.kinstr *
(Cil_types.lhost * Cil_types.offset))
list * Cil_types.varinfo)
option
val iter :
(Cil_types.varinfo ->
(Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
list -> unit) ->
unit
val iter_sorted :
(Cil_types.varinfo ->
(Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
list -> unit) ->
unit
end