def cr.check.verify

bend-osdev-crypto@0.1.0.0 · check.bend:142

import Base
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

142def cr.check.verify(r: Result<&2, &2, Cr.CrError, Bool>) -> String:
143  match r:
144    case Done{b}:
145      cat(" ", yes_no(b))
146    case Fail{e}:
147      " failed"