~/jendhub

def separator_valid

mylsm-lsm-store@0.6.0.1 · src/scan/BlockIndexFormatPolicy.bend:49

import mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexFormatPolicy.bend as BlockIndexFormatPolicy
import Base

49# Checks one separator slice against the packed separator region.
50def separator_valid(offset: Nat, length: Nat, region_length: Nat) -> Bool:
51  Nat.is_le(Nat.add(offset, length), region_length)

Uses (4)

Used by (1)