def err

bend-osdev-aes@0.1.0.0 · check.bend:10

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M

10def err(e: M.CmError) -> String:
11  match e:
12    case M.CmBadKeyLength{n}:
13      "CmBadKeyLength"
14    case M.CmBadIvLength{n}:
15      "CmBadIvLength"
16    case M.CmBadTweakLength{n}:
17      "CmBadTweakLength"
18    case M.CmBadNonceLength{n}:
19      "CmBadNonceLength"
20    case M.CmBadTagLength{n}:
21      "CmBadTagLength"
22    case M.CmBadBlockSize{n}:
23      "CmBadBlockSize"
24    case M.CmNotBlockMultiple{n}:
25      "CmNotBlockMultiple"
26    case M.CmTooShort{n}:
27      "CmTooShort"
28    case M.CmTooLong{n}:
29      "CmTooLong"
30    case M.CmBadPadding{}:
31      "CmBadPadding"
32    case M.CmTagMismatch{}:
33      "CmTagMismatch"