def parse.footer.count.checked

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

import Base
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

1079def parse.footer.count.checked(
1080  cursor: Bytes.Cursor,
1081  +level: U32,
1082  +total: U32,
1083  +block_count: U32,
1084  entries: List<&2, MemTable.Entry>,
1085  hashes: List<&1, Bytes.Bytes>,
1086  valid: Bool
1087) -> Result<&1, &1, Error, Sstable.Table>:
1088  match valid:
1089    case False{}:
1090      Fail{Malformed{}}
1091    case True{}:
1092      parse.footer.root(parse.hash.words(cursor), level, total, block_count,
1093        entries, hashes)