def CrMichael.err

bend-osdev-crypto@0.1.0.0 · inst_michael.bend:14

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

14def CrMichael.err(e: Hs.HsError) -> Cr.CrError:
15  match e:
16    case Hs.HsBadKeyLength{n}:
17      Cr.CrBadKeyLength{n}