def encode.page.frame.key.measured

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

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

591def encode.page.frame.key.measured(
592  separator: Bytes.Bytes,
593  encoded: List<&1, ByteMemTable.Entry>,
594  +count: Nat,
595  measured: Bytes.Bytes & U32
596) -> Result<&1, &1, Error, EncodedBlock>:
597  match measured:
598    case (_, separator_length):
599      encode.page.frame.counted(encoded, count, separator, separator_length)