Aesround.AdBlk.of_list: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
Lines 46-48 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=46&end_line=48

import Base

# the block of the first 16 bytes of xs (zeros past the end)
def AdBlk.of_list(+xs: List<&2, U32>) -> AdBlk:
  AdBlk{ad.blk.word(xs, 0n), ad.blk.word(xs, 4n), ad.blk.word(xs, 8n), ad.blk.word(xs, 12n)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=AdBlk
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.blk.word