type LcError

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:15

import Base

15# Every failure the package reports
16type LcError is Data:
17  LcBadKeyLength{got: Nat}
18  LcBadIvLength{got: Nat}
19  LcNotBlockMultiple{len: Nat}