Module Register.Occurrences


module Occurrences: sig .. end

val add : State.key ->
Cil_datatype.Kinstr.t -> Cil_datatype.Lval.t -> unit
val get : LastResult.data -> State.data list
val iter : (Cilutil.VarinfoComparable.t -> State.data list -> unit) ->
unit
val self : Project.Computation.t