def err

bend-osdev-legacy-ciphers@0.1.0.0 · check.bend:29

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

29def err(e: L.LcError) -> String:
30  match e:
31    case L.LcBadKeyLength{n}:
32      "bad key " ++ Nat.show(n)
33    case L.LcBadIvLength{n}:
34      "bad iv " ++ Nat.show(n)
35    case L.LcNotBlockMultiple{n}:
36      "not whole blocks " ++ Nat.show(n)