def aes_add_key

qasim-bend-kit@0.1.0.2 · libs/AES256GCMCore.bend:137

import Base

137def aes_add_key(state: List<&2, U32>, words: List<&2, U32>, round: Nat) -> List<&2, U32>:
138    aes_add_key.go(state, words, round, 0n, 16n, Nil{})