Aesround.ad.aes.col: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
Lines 164-167 of bend-osdev-aead@0.1.0.0/aesround.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&start_line=164&end_line=167

import Base

# one column of the round: rows 0 .. 3 from columns c, c + 1, c + 2, c + 3
# (ShiftRows), each through the S-box (SubBytes), then MixColumns
def ad.aes.col(+t: AdTab, +x0: U32, +x1: U32, +x2: U32, +x3: U32) -> U32:
  ad.aes.mix(ad.aes.s(t, x0, 24n), ad.aes.s(t, x1, 16n), ad.aes.s(t, x2, 8n), ad.aes.s(t, x3, 0n))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=AdTab
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.aes.mix
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.aes.s