~/jendhub

def tx.cursor.bound.measured

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

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

237def tx.cursor.bound.measured(
238  +required_bytes: Nat,
239  fits: Bool
240) -> BoundDecision:
241  match fits:
242    case False{}: TooLarge{}
243    case True{}:
244      tx.cursor.bound.payload(tx.nat.duplicate(required_bytes))

Uses (5)

Used by (1)