def AdAes.sbox
import bend-osdev-aead@0.1.0.0/aesround.bend as Aesroundimport Base
146def AdAes.sbox() -> AdSbox:
147 AdSbox{ad.tab.root(ad.tab.up(8n, ad.tab.leaves(ad.aes.sbox.list())))}
import bend-osdev-aead@0.1.0.0/aesround.bend as Aesroundimport Base
146def AdAes.sbox() -> AdSbox:
147 AdSbox{ad.tab.root(ad.tab.up(8n, ad.tab.leaves(ad.aes.sbox.list())))}