~/jendhub

def open.admit

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

import bend-kit-retry@0.3.0.0/retry.bend as Retry
import Base

95def open.admit(early: Bool, +p: Nat, +u: Nat) -> State & Bool:
96  match early:
97    case True{}:
98      (CircuitOpen{u}, False{})
99    case False{}:
100      half.admit(Nat.is_lt(0n, p), 0n)

Uses (7)

Used by (1)