~/jendhub

def merge_newer

mylsm-lsm-store@0.6.0.1 · src/SortedRun.bend:244

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

244# Merge newer for the sorted-run operations.
245def merge_newer(+newer: List<&2, MemTable.Entry>, +older: List<&2, MemTable.Entry>) -> List<&2, MemTable.Entry>:
246  fuel = Nat.add(Nat.add(List.length(&2, MemTable.Entry, newer), List.length(&2, MemTable.Entry, older)), 1n)
247  merge_go(fuel, (Nil{}, newer, older))

Uses (6)

Used by (1)