def cam.mix
import bend-osdev-legacy-ciphers@0.1.0.0/camellia.bend as Camelliaimport Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
255# D2 ^= F(D1, Sigma_i); D1 ^= F(D2, Sigma_(i+1)), on the 128-bit value D1:D2
256def cam.mix(+t: LcCamTabs, q: M.CmBlock, +i: Nat) -> M.CmBlock:
257 cam.op(LcCamF2{t, cam.sigma(Nat.add(i, 1n))}, cam.op(LcCamF1{t, cam.sigma(i)}, q))