Aesround.ad.blk.word: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/aesround.bend as Aesround
Lines 43-44 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=43&end_line=44

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

def ad.blk.word(+xs: List<&2, U32>, +i: Nat) -> U32:
  U32.or(U32.or(U32.shln(B.byte(ad.blk.at(xs, i)), 24n), U32.shln(B.byte(ad.blk.at(xs, Nat.add(i, 1n))), 16n)), U32.or(U32.shln(B.byte(ad.blk.at(xs, Nat.add(i, 2n))), 8n), B.byte(ad.blk.at(xs, Nat.add(i, 3n)))))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shln
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=ad.blk.at
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.0/bytes.bend&name=byte