1 import Base 2 import ../coordinator/TransportBudgetPolicy.bend as TxPolicy 3 4 def cursor.item.payload.bytes(+key_bytes: Nat, +value_bytes: Nat) -> Nat: 5 Nat.add(9n, Nat.add(key_bytes, value_bytes)) 6 7 def cursor.item.bound( 8 +key_bytes: Nat, 9 +value_bytes: Nat, 10 max_payload_bytes: U32 11 ) -> TxPolicy.BoundDecision: 12 TxPolicy.tx.payload.bound( 13 cursor.item.payload.bytes(key_bytes, value_bytes), max_payload_bytes)