def legacy.entries.measure.go

mylsm-lsm-store@0.6.0.1 · src/transfer/Migrate.bend:139

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

139def legacy.entries.measure.go(
140  entries: List<&2, MemTable.Entry>,
141  reversed: List<&2, MemTable.Entry>,
142  count: Nat
143) -> List<&2, MemTable.Entry> & Nat:
144  match entries:
145    case Nil{}: (List.reverse(&2, MemTable.Entry, reversed), count)
146    case Con{entry, tail}:
147      legacy.entries.measure.go(tail, Con{entry, reversed}, Nat.add(count, 1n))