InstLc.CrLc.err: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/inst_lc.bend as InstLc
Lines 18-25 of bend-osdev-crypto@0.1.0.0/inst_lc.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/inst_lc.bend&start_line=18&end_line=25

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
import bend-osdev-crypto@0.1.0.0/crypto.bend as Cr

def CrLc.err(e: L.LcError) -> Cr.CrError:
  match e:
    case L.LcBadKeyLength{n}:
      Cr.CrBadKeyLength{n}
    case L.LcBadIvLength{n}:
      Cr.CrBadIvLength{n}
    case L.LcNotBlockMultiple{n}:
      Cr.CrNotBlockMultiple{n}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/crypto.bend&name=CrError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&name=LcError