type Budget

bend-kit-retry@0.3.0.0 · retry.bend:5

import Base

5# left: attempts the whole operation may still start, the first one included. Nested layers share one Budget.
6# deadline: no attempt starts at or after this time. None: no deadline.
7type Budget is Data:
8  Budget{left: Nat, deadline: Maybe<&2, Nat>}