def parse.multi.header.valid

mylsm-lsm-store@0.6.0.1 · src/ByteSstFile.bend:1947

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

1947def parse.multi.header.valid(
1948  source: Bytes.Bytes,
1949  result: Result<&1, &1, Error, MultiHeader>
1950) -> Result<&1, &1, Error, ByteMemTable.Table>:
1951  match result:
1952    case Fail{error}: Fail{error}
1953    case Done{MultiHeader{file, level, total, block_count}}:
1954      +level_nat = U32.to_nat(level)
1955      parse.multi.header.level.valid(source, file,
1956        U32.from_nat(level_nat), total, block_count,
1957        Nat.is_le(level_nat, 255n))