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

import Base

# Merge groups for the sorted-run operations.
def merge_groups(newer: RunGroup, older: RunGroup) -> RunGroup:
  match newer:
    case RunGroup{newest_rank, oldest_rank, newer_entries}:
      match older:
        case RunGroup{older_newest, older_oldest, older_entries}:
          RunGroup{newest_rank, older_oldest, merge_newer(newer_entries, older_entries)}

Uses (2):
  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_newer