Aes.next_word: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as Aes
Lines 125-128 of bend-collections@1.0.0.0/src/crypto/aes/aes.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/aes/aes.bend&start_line=125&end_line=128

import Base
import bend-collections@1.0.0.0/src/crypto/aes/types.bend as T

# history is the words so far, the newest first.
def next_word(+nk: Nat, +i: Nat, +history: List<&2, T.Quad>) -> T.Quad:
  xor_word(get_word(history, Nat.sub(nk, 1n)),
    schedule_core(Nat.mod(i, nk), Nat.is_lt(6n, nk), Nat.div(i, nk), get_word(history, 0n)))

Uses (10):
  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.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/aes.bend&name=get_word
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/aes.bend&name=schedule_core
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/aes.bend&name=xor_word
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/aes/types.bend&name=Quad