TransportBudgetPolicy.tx.cursor.bound.payload: 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 232-235 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=232&end_line=235

import Base

def tx.cursor.bound.payload(copies: Nat & Nat) -> BoundDecision:
  match copies:
    case (payload_bytes, peak_bytes):
      Bounded{U32.from_nat(payload_bytes), tx.get.peak(peak_bytes)}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.from_nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend&name=BoundDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend&name=tx.get.peak