TransportBudgetPolicy.rx.frame.reservation: 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 343-355 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=343&end_line=355

import Base

def rx.frame.reservation(
  +used_bytes: Nat,
  +required_bytes: Nat,
  +_capacity_bytes: Nat,
  fits_total: Bool,
  fits_available: Bool
) -> RxReservationDecision:
  match fits_total:
    case False{}: RejectFrame{used_bytes}
    case True{}:
      match fits_available:
        case True{}: ReserveFrame{Nat.add(used_bytes, required_bytes)}
        case False{}: WaitForFrameCredit{used_bytes}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend&name=RxReservationDecision