~/jendhub

def tx.get.bound

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

import mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend as TransportBudgetPolicy
import Base

189def tx.get.bound(
190  +value_bytes: U32,
191  max_payload_bytes: U32,
192  capacity: Nat
193) -> BoundDecision:
194  tx.get.bound.decided(U32.is_le(value_bytes, max_payload_bytes),
195    U32.to_nat(value_bytes), capacity)

Uses (6)

Used by (0)

No other definition uses this definition.