~/jendhub

def busy.err

cswap-bend-cli@0.1.0.0 · usage/gate.bend:133

import cswap-bend-cli@0.1.0.0/usage/gate.bend as Gate
import Base
import cswap-bend-cli@0.1.0.0/clock.bend as Clock

133def busy.err(+code: U32) -> Gated:
134  gated.err(Clock.sel.s(U32.is_eq(code, 11), "consume-busy", "transient"), None{})

Uses (6)

Used by (1)