def cast5.rounds.pick
import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as Cast5import Base
468def cast5.rounds.pick(short: Bool) -> Nat:
469 match short:
470 case True{}:
471 12n
472 case False{}:
473 16n
import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as Cast5import Base
468def cast5.rounds.pick(short: Bool) -> Nat:
469 match short:
470 case True{}:
471 12n
472 case False{}:
473 16n