def parse.multi.sized.index.read

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

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

1904def parse.multi.sized.index.read(
1905  source: Bytes.Bytes,
1906  files: Bytes.Bytes & Bytes.Bytes,
1907  +blocks: Nat,
1908  +entries: Nat,
1909  +level: Nat,
1910  +size: Nat
1911) -> Result<&1, &1, Error, ByteMemTable.Table>:
1912  match files:
1913    case (file, index_file):
1914      parse.multi.sized.index_length(source, file, blocks, entries, level,
1915        size, Bytes.get.u32be(index_file,
1916          U32.from_nat(Nat.sub(size, 36n))))