def parse.blocks.count.valid

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

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

import Base

1145def parse.blocks.count.valid(
1146  +remaining: Nat,
1147  +entries_left: U32,
1148  +count: U32
1149) -> Bool:
1150  parse.blocks.count.valid.last(Nat.is_eq(remaining, 1n), entries_left, count)

Uses (5)

Used by (3)