def fail

cswap-bend-cli@0.1.0.0 · act.bend:14

import cswap-bend-cli@0.1.0.0/act.bend as Act
import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

14def fail(-A: Type, code: U32, msg: String) -> of(A):
15  IO.pure(Fs.Res(A), Fail{(code, msg)})

Uses (7)

Used by (50)