Module AccessSnapshot.AccessSnapshotElem

type t = {
access : Access.t;
thread : ThreadsDomain.t;
lock : bool;
ownership_precondition : OwnershipAbstractValue.t;
}