def parse.header.level

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

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

973def parse.header.level(
974  pair: Bytes.Cursor & Maybe<&2, U32>,
975  size: U32
976) -> Result<&1, &1, Error, PayloadWords>:
977  match pair:
978    case (cursor, Some{+level}):
979      parse.header.level.valid(Bytes.Cursor.u32be(cursor), size, level,
980        U32.is_le(level, 255))
981    case _:
982      Fail{Malformed{}}