def parse.multi.header.level.valid

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

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

1934def parse.multi.header.level.valid(
1935  source: Bytes.Bytes,
1936  file: Bytes.Bytes,
1937  level: U32,
1938  total: U32,
1939  block_count: U32,
1940  valid: Bool
1941) -> Result<&1, &1, Error, ByteMemTable.Table>:
1942  match valid:
1943    case False{}: Fail{InvalidLevel{}}
1944    case True{}:
1945      parse.multi.sized(source, Bytes.length(file), level, total, block_count)