type LcError

bend-osdev-legacy-ciphers@0.1.0.0 · legacy_ciphers.bend:18

import Base

18# Every failure the package reports
19type LcError is Data:
20  LcBadKeyLength{got: Nat}
21  LcBadIvLength{got: Nat}
22  LcNotBlockMultiple{len: Nat}