~/jendhub

def measure_key_bounds

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:990

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

990# Handles measure key bounds.
991def measure_key_bounds(
992  +index_offset: Nat,
993  +used: Nat,
994  +payload_length: U32
995) -> Bool:
996  U32.is_le(payload_length, StorageBytes.MAX_BLOCK_BYTES()) &&
997    Nat.is_le(Nat.add(20n, Nat.add(used,
998      Nat.add(U32.to_nat(payload_length), 40n))), index_offset)

Uses (9)

Used by (1)