Crypto.CrError.check: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/crypto.bend as Crypto
Lines 42-48 of bend-osdev-crypto@0.1.0.0/crypto.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/crypto.bend&start_line=42&end_line=48

import Base

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/crypto.bend&name=CrError