SortedRun.merge_round: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/SortedRun.bend as SortedRun
Lines 275-284 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=275&end_line=284

import Base

# Merge round for the sorted-run operations.
def merge_round(groups: List<&2, RunGroup>) -> List<&2, RunGroup>:
  match groups:
    case Nil{}:
      Nil{}
    case Con{group, Nil{}}:
      Con{group, Nil{}}
    case Con{newer, Con{older, rest}}:
      merged tail = merge_groups(newer, older) merge_round(rest)
      Con{merged, tail}

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