Retry.Breaker.admit: def of bend-kit-retry@0.3.0.0 Import: import bend-kit-retry@0.3.0.0/retry.bend as Retry Lines 152-157 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=152&end_line=157 import Base def Breaker.admit(br: Breaker, +now: Nat) -> Breaker & Bool: match br: case BreakerOff{}: (BreakerOff{}, True{}) case BreakerOn{+c, s}: Breaker.on(c, State.admit(c, s, now)) Uses (7): 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=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=Breaker https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=Breaker.on https://jend.leeeet.dev/definition.txt?path=bend-kit-retry@0.3.0.0/retry.bend&name=State.admit