TransportBudgetPolicy.tx.cursor.bound.required: 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 246-255 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=246&end_line=255

import Base

def tx.cursor.bound.required(
  copies: Nat & Nat,
  response_copies: U32 & U32
) -> BoundDecision:
  match copies:
    case (check_bytes, required_bytes):
      match response_copies:
        case (response_for_check, _):
          tx.cursor.bound.measured(required_bytes,
            Nat.is_le(check_bytes, U32.to_nat(response_for_check)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le
  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
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_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.cursor.bound.measured