def half.admit

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

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

import Base

88def half.admit(go: Bool, +k: Nat) -> State & Bool:
89  match go:
90    case True{}:
91      (CircuitHalf{1n+k}, True{})
92    case False{}:
93      (CircuitHalf{k}, False{})

Uses (5)

Used by (2)