Module ImpurityDomain.ModifiedAccess
type t={ordered_access_list : unit Absint.HilExp.Access.t list;list of ordered accesses that are oblivious to modified array indices
trace : trace;}
ImpurityDomain.ModifiedAccesstype t = {ordered_access_list : unit Absint.HilExp.Access.t list; | list of ordered accesses that are oblivious to modified array indices |
trace : trace; |
}