Struct StoreRange 

pub struct StoreRange {
    pub owner: u64,
    pub lo: usize,
    pub hi: usize,
}

2026-09-25: The interval of mtp_prefill_hidden rows written, and the sequence ticket that wrote them. The buffer is model-level and indexed by absolute position, so the interval alone cannot say whose rows it holds.

Owner 0 never matches: it marks an unclaimed range, and it is the ticket of a SequenceState not built by the model’s alloc_sequence, which draws tickets from 1.

Fields

owner: u64

2026-09-25: The writer’s ticket (SequenceState::mtp_store_gen); 0 means unclaimed.

lo: usize

2026-09-25: First absolute position written.

hi: usize

2026-09-25: One past the last absolute position written.

Implementations

impl StoreRange

pub const EMPTY: Self

2026-09-25: Nothing claimed.

pub fn visible_to(self, reader_gen: u64) -> (usize, usize)

2026-09-25: The interval reader_gen may read, or (0, 0) when the rows belong to another ticket or reader_gen is 0. plan_append refuses (0, 0) like any interval that does not cover its span.

Trait Implementations

impl Clone for StoreRange

fn clone(&self) -> StoreRange

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StoreRange

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for StoreRange

fn eq(&self, other: &StoreRange) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for StoreRange

impl Eq for StoreRange

impl StructuralPartialEq for StoreRange