def rd.closed

bend-kit-runner@0.13.0.1 · runner.bend:854

import Base
import bend-kit-retry@0.3.0.0/retry.bend as Retry

854def rd.closed(+fuel: Nat) -> Dec(Retry.State):
855  do Dec<Retry.State>:
856    +n : U32 <- rd.u32()
857    fs : List<&2, Nat> <- rd.nats(fuel, U32.is_eq(n, 0), n)
858    return Retry.CircuitClosed{fs}