def parse.header.total
import mylsm-lsm-store@0.6.0.1/src/ByteSstFile.bend as ByteSstFileimport Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
952def parse.header.total(
953 pair: Bytes.Cursor & Maybe<&2, U32>,
954 size: U32,
955 level: U32
956) -> Result<&1, &1, Error, PayloadWords>:
957 match pair:
958 case (cursor, Some{total}):
959 parse.header.blocks(Bytes.Cursor.u32be(cursor), size, level, total)
960 case _:
961 Fail{Malformed{}}