Crypto.CrError: type of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/crypto.bend as Crypto
Lines 25-40 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=25&end_line=40

import Base

# Every failure an interface reports. An instance whose algorithm has its own
# error type maps it onto these (inst_lc.bend, inst_cm.bend).
type CrError is Data:
  CrBadKeyLength{got: Nat}
  CrBadIvLength{got: Nat}
  CrBadNonceLength{got: Nat}
  CrBadTagLength{got: Nat}
  CrBadBlockSize{got: Nat}
  CrNotBlockMultiple{len: Nat}
  CrTooShort{len: Nat}
  CrTooLong{len: Nat}
  CrBadPadding{}
  CrTagMismatch{}
  CrBadOutputLength{got: Nat}
  CrBadKey{}
  CrBadPublicKey{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat