Module Checkers__ImpurityDomain.ModifiedVar
type t={var : IR.Var.t;access : unit Absint.HilExp.Access.t;accesses that are oblivious to modified array indices
trace : trace;}
Checkers__ImpurityDomain.ModifiedVartype t = {var : IR.Var.t; | |
access : unit Absint.HilExp.Access.t; | accesses that are oblivious to modified array indices |
trace : trace; |
}