SstFile.blocks.measure.delete: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
Lines 232-238 of mylsm-lsm-store@0.6.0.1/src/SstFile.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&start_line=232&end_line=238

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

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=BlockMeasure
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=blocks.measure.valid
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/StorageBytes.bend&name=MAX_RECORD_BYTES