Retry.State: type of bend-kit-retry@0.3.0.0
Import: import bend-kit-retry@0.3.0.0/retry.bend as Retry
Lines 24-29 of bend-kit-retry@0.3.0.0/retry.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-retry@0.3.0.0/retry.bend&start_line=24&end_line=29

import Base

# Closed: the failures since the last success that are still inside the window, newest first.
# Open: no attempt before until. Half: probes in flight.
type State is Data:
  CircuitClosed{fails: List<&2, Nat>}
  CircuitOpen{until: Nat}
  CircuitHalf{busy: Nat}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat