def concat_chunks

mylsm-lsm-store@0.6.0.1 · src/SortedRun.bend:391

import Base
import mylsm-lsm-store@0.6.0.1/src/MemTable.bend as MemTable

391# Concatenate chunks for the sorted-run operations.
392def concat_chunks(chunks: List<&2, List<&2, MemTable.Entry>>) -> List<&2, MemTable.Entry>:
393  match chunks:
394    case Nil{}:
395      Nil{}
396    case Con{chunk, rest}:
397      List.append(&2, MemTable.Entry, chunk, concat_chunks(rest))