Struct Probe 

pub struct Probe {
    pub key: u64,
    pub op: Op,
    pub int: Option<i64>,
    pub float: Option<f64>,
}

One ordered term, in the form a zone map answers.

int and float are the same query scalar read two ways, because the row it will be compared against may be stored either way and the block holds both intervals. Absent means “no row of that number line can match”, which is the query layer’s own rule: attr_matches’s INT arm is v.as_i64().is_some_and(..), so a fractional scalar never matches an integer column.

Fields

key: u64

op: Op

int: Option<i64>

float: Option<f64>

Implementations

impl Probe

pub fn maybe(&self, m: &Map<'_>) -> bool

Could a row in this block satisfy the term? A key the map does not hold is a key the block has no comparable value for, so the answer is no — see the module docs for why that is sound and not merely convenient.