def rd.break

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

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

868def rd.break(-A: Data, +fuel: Nat) -> Dec(Op<A>):
869  do Dec<Op<A>>:
870    k : String <- rd.key(fuel)
871    b : Retry.State <- rd.brk(fuel)
872    return Break{k, b}

Uses (9)

Used by (1)