module Occurrences:sig
..end
val add : IState.key ->
Datatype.Option(Kernel_function).t ->
Cil_datatype.Kinstr.t -> Cil_datatype.Lval.t -> unit
val get : LastResult.data -> IState.data list
val get_last_result : unit ->
(IState.data list * LastResult.data)
option
val iter : (Cil_datatype.Varinfo.t -> IState.data list -> unit) ->
unit
val iter_sorted : (Cil_datatype.Varinfo.t -> IState.data list -> unit) ->
unit
val self : State.t