def tx.get.bound.peak

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

import Base

168def tx.get.bound.peak(
169  +value_bytes: Nat,
170  peak_bytes: Nat,
171  fits_capacity: Bool
172) -> BoundDecision:
173  match fits_capacity:
174    case True{}: Bounded{U32.from_nat(value_bytes), peak_bytes}
175    case False{}: TooLarge{}