def ad.aes.s

import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround

import Base

149def ad.aes.s(+t: AdTab, +w: U32, n: Nat) -> U32:
150  ad.tab.get(8n, t, U32.and(255, U32.shrn(w, n)))

Uses (6)