def concat_chunks

mylsm-lsm-store@0.3.2.0 · src/SortedRun.bend:374

import mylsm-lsm-store@0.3.2.0/src/SortedRun.bend as SortedRun
import 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.