~/jendhub

def contains

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

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

44# Accepts a block ordinal only when a serialized index contains that block.
45def contains(block_count: Nat, index: Nat) -> Bool:
46  Nat.is_lt(index, block_count)

Uses (3)

Used by (1)