def tried.bool

cswap-bend-cli@0.1.0.0 · lock.bend:22

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

22def tried.bool(r: Fs.Res(U32)) -> Fs.Res(Bool):
23  match r:
24    case Fail{e}:
25      Fail{e}
26    case Done{n}:
27      Done{U32.is_eq(n, 1)}