~/jendhub

def parse.stream.header.fields

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

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

1513def parse.stream.header.fields(
1514  header: MultiHeader,
1515  valid_magic: Bool
1516) -> Result<&1, &1, Error, MultiHeader>:
1517  match header:
1518    case MultiHeader{_, +level, _, +block_count}:
1519      parse.stream.header.rules(header, valid_magic,
1520        U32.is_le(level, 255) && U32.is_lt(0, block_count))

Uses (8)

Used by (1)