def concat_chunks
import mylsm-lsm-store@0.3.2.0/src/SortedRun.bend as SortedRunimport Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable
374def concat_chunks(chunks: List<&2, List<&2, MemTable.Entry>>) -> List<&2, MemTable.Entry>:
375 match chunks:
376 case Nil{}:
377 Nil{}
378 case Con{chunk, rest}:
379 List.append(&2, MemTable.Entry, chunk, concat_chunks(rest))
Uses (3)
Used by (0)
No other definition uses this definition.