~/jendhub

def tx.cursor.bound.required

mylsm-lsm-store@0.6.0.1 · src/coordinator/TransportBudgetPolicy.bend:246

import mylsm-lsm-store@0.6.0.1/src/coordinator/TransportBudgetPolicy.bend as TransportBudgetPolicy
import Base

246def tx.cursor.bound.required(
247  copies: Nat & Nat,
248  response_copies: U32 & U32
249) -> BoundDecision:
250  match copies:
251    case (check_bytes, required_bytes):
252      match response_copies:
253        case (response_for_check, _):
254          tx.cursor.bound.measured(required_bytes,
255            Nat.is_le(check_bytes, U32.to_nat(response_for_check)))

Uses (8)

Used by (1)