def metadata_tail

mylsm-lsm-store@0.3.2.0 · src/Sstable.bend:364

import mylsm-lsm-store@0.3.2.0/src/Sstable.bend as Sstable

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

364def metadata_tail(entries: List<&2, MemTable.Entry>, +first: String, last: String, +count: Nat) -> Metadata:
365  match entries:
366    case Nil{}:
367      Meta{Some{first}, Some{last}, count}
368    case Con{MemTable.Entry{key, val}, rest}:
369      metadata_tail(rest, first, key, Nat.add(count, 1n))

Uses (7)

Used by (1)

mylsm-lsm-store@0.3.2.0/src/Sstable:metadata