def cast5.rounds

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

import Base

475# the number of rounds for a key of n bytes: 12 up to 80 bits, else 16
476def cast5.rounds(n: Nat) -> Nat:
477  cast5.rounds.pick(Nat.is_le(n, 10n))