Aesround.AdAes.sbox: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
Lines 146-147 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=146&end_line=147

import Base

def AdAes.sbox() -> AdSbox:
  AdSbox{ad.tab.root(ad.tab.up(8n, ad.tab.leaves(ad.aes.sbox.list())))}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=AdSbox
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.aes.sbox.list
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.tab.leaves
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.tab.root
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.tab.up