type TotalDecision

mylsm-lsm-store@0.6.0.1 · src/SstReadPolicy.bend:10

import Base

10# Carries the next aggregate byte total only when admission succeeds.
11type TotalDecision is Data:
12  TotalAdmitted{next_total: Nat}
13  TotalRejected{}