def stream.header.done
mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:1647
import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
1647def stream.header.done(
1648 pair: Bytes.Cursor & Result<&1, &1, Error, SstHeader>
1649) -> Result<&1, &1, Error, StreamState>:
1650 match pair:
1651 case (_, Fail{error}):
1652 Fail{error}
1653 case (cursor, Done{SstHdr{+level, +total, +block_count}}):
1654 stream.header.remaining(Bytes.Cursor.remaining(cursor), level, total, block_count)