SortedRun.concat_chunks: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SortedRun.bend as SortedRun
Lines 391-397 of mylsm-lsm-store@0.6.0.1/src/SortedRun.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/SortedRun.bend&start_line=391&end_line=397

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

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/MemTable.bend&name=Entry