Retry.closed.fail: def of bend-kit-retry@0.3.0.0
Import: import bend-kit-retry@0.3.0.0/retry.bend as Retry
Lines 120-123 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=120&end_line=123

import Base

def closed.fail(+c: Circuit, fs: List<&2, Nat>, +now: Nat) -> State:
  Circuit{+t, +w, +cd, p} = c
  +kept = {Con{now, prune(now, w, fs)} : List<&2, Nat>}
  closed.trip(Nat.is_lt(List.length(&2, Nat, kept), t), kept, Nat.add(now, cd))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  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=State
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=closed.trip
  https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=prune