Module ImpurityDomain.ModifiedVar

type t = {
var : IR.Var.t;
access : unit Absint.HilExp.Access.t;

accesses that are oblivious to modified array indices

trace : trace;
}