def CrError.check

bend-osdev-crypto@0.1.0.0 · crypto.bend:42

import Base

42# A check, as a step of a Result block
43def CrError.check(ok: Bool, e: CrError) -> Result<&2, &2, CrError, Unit>:
44  match ok:
45    case True{}:
46      Done{Unit{}}
47    case False{}:
48      Fail{e}