def bf.key.pick
import bend-osdev-legacy-ciphers@0.1.0.0/blowfish.bend as Blowfishimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
354def bf.key.pick(ok: Bool, +xs: List<&2, U32>) -> Result<&2, &2, L.LcError, LcBlowfishKey>:
355 match ok:
356 case True{}:
357 Done{bf.key(xs)}
358 case False{}:
359 Fail{L.LcBadKeyLength{B.len(xs)}}