~/jendhub

def parse.record.key.limit

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:666

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

666def parse.record.key.limit(
667  tag: U32,
668  +key_len: U32
669) -> Bool:
670  match tag:
671    case 1:
672      U32.is_le(key_len, (StorageBytes.MAX_RECORD_BYTES() - 5 : U32))
673    case _:
674      U32.is_le(key_len, (StorageBytes.MAX_RECORD_BYTES() - 9 : U32))

Uses (7)

Used by (1)