Runner.Op: type of bend-kit-runner@0.13.0.1
Import: import bend-kit-runner@0.13.0.1/runner.bend as Runner
Lines 29-46 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=29&end_line=46

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

# One durable transition. Each one is one journal record, appended before the state changes.
# Select: the queue's select at now. Replay runs it at the same now, so it takes the same ticket.
# Requeue: the attempt failed; it counts one failure. Defer: the breaker held the ticket back; no attempt ran.
# Abandon: retry gave up at at; the running ticket becomes dead. Revive: a dead ticket is pending again at deadline, with a new budget.
# Purge: the dead tickets abandoned before before are dropped. PurgeAll: every dead ticket is dropped.
# Break: the breaker of target changed to state.
type Op<-A: Data> is Data:
  Enqueue{deadline: Nat, payload: A}
  Select{now: Nat}
  Complete{id: Nat}
  Cancel{id: Nat}
  Requeue{id: Nat, deadline: Nat}
  Defer{id: Nat, deadline: Nat}
  Abandon{id: Nat, why: Why, at: Nat}
  Revive{id: Nat, deadline: Nat}
  Purge{before: Nat}
  PurgeAll{}
  Break{target: String, state: Retry.State}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Why