Retry.State.admit: def of bend-kit-retry@0.3.0.0
Import: import bend-kit-retry@0.3.0.0/retry.bend as Retry
Lines 102-111 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=102&end_line=111

import Base

# Closed admits. Open admits nothing before until; at or after until it turns half-open and admits a probe.
# Half-open admits while fewer than probes are in flight.
def State.admit(+c: Circuit, s: State, +now: Nat) -> State & Bool:
  match s:
    case CircuitClosed{fs}:
      (CircuitClosed{fs}, True{})
    case CircuitOpen{+u}:
      open.admit(Nat.is_lt(now, u), Circuit.probes(c), u)
    case CircuitHalf{+k}:
      half.admit(Nat.is_lt(k, Circuit.probes(c)), k)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Circuit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Circuit.probes
  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-retry@0.3.0.0/retry.bend&name=half.admit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=open.admit