def parse.multi.sized.start

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

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

1851def parse.multi.sized.start(
1852  block_counts: Nat & Nat,
1853  source: Bytes.Bytes,
1854  file: Bytes.Bytes,
1855  index_offset: Nat,
1856  entries: Nat,
1857  level: Nat
1858) -> Result<&1, &1, Error, ByteMemTable.Table>:
1859  match block_counts:
1860    case (fuel, block_count):
1861      parse.multi.go(fuel, source, Done{MultiRead{file, index_offset,
1862        0n, block_count, U32.from_nat(level), entries, 0n,
1863        ByteMemTable.empty()}})