~/jendhub

def interval_valid

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

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

44# Checks the index/footer interval without underflow or header overlap.
45def interval_valid(file_size: Nat, index_length: Nat) -> Bool:
46  interval_valid.copies(nat.clone.pair(file_size),
47    nat.clone.pair(index_length))

Uses (4)

Used by (0)

No other definition uses this definition.