type Try

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

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

48# The failed attempts of a ticket, and its first deadline, from which the policy deadline counts.
49type Try is Data:
50  Try{fails: Nat, start: Nat}

Uses (1)

Used by (13)