def tx.request

mylsm-lsm-store@0.6.0.1 · src/coordinator/TransportBudgetPolicy.bend:145

import Base

145def tx.request(+used: Nat, +required: Nat, +capacity: Nat) -> TxDecision:
146  tx.decide(Nat.is_le(required, capacity),
147    Nat.is_le(Nat.add(used, required), capacity))