Twofish.tf.rounds: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/twofish.bend as Twofish
Lines 282-288 of bend-osdev-legacy-ciphers@0.1.0.0/twofish.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/twofish.bend&start_line=282&end_line=288

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

# the rounds' steps from round r, with the pairs K_(2r+8), K_(2r+9) in ks
def tf.rounds(ks: List<&2, L.LcBlock64>, +t: LcTfTabs, +s: List<&2, U32>) -> List<&2, LcTfOp>:
  match ks:
    case Nil{}:
      Nil{}
    case Con{L.LcBlock64{a, b}, rest}:
      Con{LcTfRound{t, s, a, b}, tf.rounds(rest, t, s)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&name=LcBlock64
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/twofish.bend&name=LcTfOp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/twofish.bend&name=LcTfTabs