def tf.rounds
import bend-osdev-legacy-ciphers@0.1.0.0/twofish.bend as Twofishimport Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
282# the rounds' steps from round r, with the pairs K_(2r+8), K_(2r+9) in ks
283def tf.rounds(ks: List<&2, L.LcBlock64>, +t: LcTfTabs, +s: List<&2, U32>) -> List<&2, LcTfOp>:
284 match ks:
285 case Nil{}:
286 Nil{}
287 case Con{L.LcBlock64{a, b}, rest}:
288 Con{LcTfRound{t, s, a, b}, tf.rounds(rest, t, s)}