def finish.concat.pair

mylsm-lsm-store@0.6.0.1 · src/SstFile.bend:1749

import mylsm-lsm-store@0.6.0.1/src/SstFile.bend as SstFile
import Base
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

1749def finish.concat.pair(
1750  +total: U32,
1751  pair: Bytes.Bytes & U32
1752) -> Result<&1, &1, Error, Sstable.Table>:
1753  match pair:
1754    case (bytes, +len):
1755      finish.concat.check(bytes, U32.is_eq(total, len))

Uses (9)

Used by (1)