~/jendhub

def entry_valid

mylsm-lsm-store@0.6.0.1 · src/scan/BlockIndexPolicy.bend:59

import mylsm-lsm-store@0.6.0.1/src/scan/BlockIndexPolicy.bend as BlockIndexPolicy
import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/QueuePolicy.bend as QueuePolicy

59# Accepts a block range only when it stays between the header and index.
60def entry_valid(data_offset: Nat, data_length: Nat, index_offset: Nat) -> Bool:
61  entry_valid.copies(QueuePolicy.nat.clone.pair(data_offset), data_length,
62    index_offset)

Uses (4)

Used by (1)