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

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

# Merge step for the sorted-run operations.
def merge_step(
  order: Cmp,
  +newer_head: MemTable.Entry,
  newer_tail: List<&2, MemTable.Entry>,
  +older_head: MemTable.Entry,
  older_tail: List<&2, MemTable.Entry>,
  acc: List<&2, MemTable.Entry>
) -> List<&2, MemTable.Entry> & List<&2, MemTable.Entry> & List<&2, MemTable.Entry>:
  match order:
    case LT{}:
      (Con{newer_head, acc}, newer_tail, Con{older_head, older_tail})
    case EQ{}:
      (Con{newer_head, acc}, newer_tail, older_tail)
    case GT{}:
      (Con{older_head, acc}, Con{newer_head, newer_tail}, older_tail)

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