def ow.err

cswap-bend-cli@0.1.0.0 · cliops.bend:52

import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act

52def ow.err(ce: U32 & String, retry: Act.of(String), +noin: Bool) -> Act.of(String):
53  (+c, m) = ce
54  ow.pick(U32.is_eq(c, 10) && Bool.not(noin), c, m, retry)

Uses (10)

Used by (1)