TransportBudgetPolicy.tx.request: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend as TransportBudgetPolicy
Lines 145-147 of mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend&start_line=145&end_line=147

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend&name=TxDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend&name=tx.decide