InstCm.CrCm.err: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/inst_cm.bend as InstCm
Lines 19-42 of bend-osdev-crypto@0.1.0.0/inst_cm.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/inst_cm.bend&start_line=19&end_line=42

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

def CrCm.err(e: M.CmError) -> Cr.CrError:
  match e:
    case M.CmBadKeyLength{n}:
      Cr.CrBadKeyLength{n}
    case M.CmBadIvLength{n}:
      Cr.CrBadIvLength{n}
    case M.CmBadTweakLength{n}:
      Cr.CrBadIvLength{n}
    case M.CmBadNonceLength{n}:
      Cr.CrBadNonceLength{n}
    case M.CmBadTagLength{n}:
      Cr.CrBadTagLength{n}
    case M.CmBadBlockSize{n}:
      Cr.CrBadBlockSize{n}
    case M.CmNotBlockMultiple{n}:
      Cr.CrNotBlockMultiple{n}
    case M.CmTooShort{n}:
      Cr.CrTooShort{n}
    case M.CmTooLong{n}:
      Cr.CrTooLong{n}
    case M.CmBadPadding{}:
      Cr.CrBadPadding{}
    case M.CmTagMismatch{}:
      Cr.CrTagMismatch{}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/crypto.bend&name=CrError