A deterministic record traversal needs no mutable cursor beyond the count
of completed updates. This defines an offset, not a shuffled sampler. The
entire file fits Linux's signed offset range; additions cannot wrap the
persisted unsigned counter. Rejection carries no usable offset.
10family CyclicRecordOffset : Type 0
11constructor CyclicRecordOffsetRejected
12constructor CyclicRecordOffsetAccepted
13field unrestricted cyclicRecordByteOffset : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.