aztec-nr - noir_aztec::protocol::merkle_tree::indexed_tree

Function is_valid_low_leaf

pub fn is_valid_low_leaf<LeafPreimage, Value>(
    key: Field,
    low_leaf_preimage: LeafPreimage,
) -> (bool, bool, bool)
where
    LeafPreimage: IndexedTreeLeafPreimage<Value>

Check if the key is in range of the low leaf.

Returns:

is_valid: true if the key is in range of the low leaf, false otherwise.
is_greater_than_low: true if the key is greater than the low leaf's key, false otherwise.
is_less_than_next: true if the key is less than the low leaf's next key, false otherwise.