Runner.Try: type of bend-kit-runner@0.13.0.1 Import: import bend-kit-runner@0.13.0.1/runner.bend as Runner Lines 48-50 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=48&end_line=50 import Base # The failed attempts of a ticket, and its first deadline, from which the policy deadline counts. type Try is Data: Try{fails: Nat, start: Nat} Uses (1): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat