type RotRes

mylsm-lsm-store@0.3.2.0 · src/Db.bend:43

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

43# Rotation result: both tables plus their exact counts, so no pass ever
44# walks a memtable to learn its size. Counts stay exact by construction
45# (open_db starts 0/0; every transition does arithmetic, never List.length).
46type RotRes is Data:
47  Rot{mem: MemTable.MemTable, frozen: MemTable.MemTable, mem_count: Nat, frozen_count: Nat}