~/jendhub

def blocks.measure.delete

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

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

232def blocks.measure.delete(key_length: Maybe<&2, U32>, +size: U32) -> BlockMeasure:
233  match key_length:
234    case None{}:
235      InvalidRecord{}
236    case Some{+length}:
237      blocks.measure.valid((5 + length : U32), size,
238        U32.is_le(length, (StorageBytes.MAX_RECORD_BYTES() - 5 : U32)))

Uses (8)

Used by (1)