~/jendhub

def ordered.materialize.measured

mylsm-lsm-store@0.6.0.1 · src/ByteMemTable.bend:685

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

685def ordered.materialize.measured(measured: List<&1, Entry> & Nat) -> List<&1, Entry>:
686  match measured:
687    case (entries, +count):
688      ordered.merge_many.go(Nat.add(count, 1n),
689        ordered.singleton_runs(entries))

Uses (8)

Used by (1)