Runner.stopped: def of bend-kit-runner@0.13.0.1
Import: import bend-kit-runner@0.13.0.1/runner.bend as Runner
Lines 397-409 of bend-kit-runner@0.13.0.1/runner.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-runner@0.13.0.1/runner.bend&start_line=397&end_line=409

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

# A settled attempt completes its ticket; retry gave up at now on any other.
def stopped(-A: Data, o: Retry.Outcome, b: Retry.Budget, +id: Nat, +now: Nat) -> Op<A>:
  match o:
    case Retry.Settled{}:
      Complete{id}
    case Retry.Failed{}:
      Abandon{id, WhyFailed{}, now}
    case Retry.Rejected{}:
      Abandon{id, WhyFailed{}, now}
    case Retry.Unsafe{}:
      Abandon{id, WhyUnsafe{}, now}
    case Retry.Transient{w}:
      Abandon{id, gave(b), now}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Budget
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Op
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Why
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=gave