SstFile.stream.blocks.count.valid: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
Lines 1152-1160 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=1152&end_line=1160

import Base

# Accepts a block only when it fits the file's remaining block and entry counts.
def stream.blocks.count.valid(
  exact: Bool,
  +remaining: U32,
  +entries_left: U32,
  +count: U32
) -> Bool:
  exact && U32.is_lt(0, remaining) && U32.is_le(count, entries_left) &&
    parse.blocks.count.valid(U32.to_nat(remaining), entries_left, count)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/SstFile.bend&name=parse.blocks.count.valid