def table.entries.count.keep.go

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:137

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

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