def cast5.key.pick

bend-osdev-legacy-ciphers@0.1.0.0 · cast5.bend:499

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

499def cast5.key.pick(ok: Bool, +n: Nat, +xs: List<&2, U32>) -> Result<&2, &2, L.LcError, LcCast5Key>:
500  match ok:
501    case True{}:
502      Done{cast5.key(n, xs)}
503    case False{}:
504      Fail{L.LcBadKeyLength{n}}