~/jendhub

def entry_valid.copies

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

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

48# Combines independent offset copies to validate the complete block interval.
49def entry_valid.copies(
50  offsets: Nat & Nat,
51  data_length: Nat,
52  index_offset: Nat
53) -> Bool:
54  match offsets:
55    case (start, for_end):
56      Nat.is_le(20n, start) &&
57        Nat.is_le(Nat.add(for_end, data_length), index_offset)

Uses (7)

Used by (1)