def aes_byte_at

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

import Base

154def aes_byte_at(state: List<&2, U32>, index: Nat) -> U32:
155    aes_byte_from_maybe(List.get(&2, U32, state, index))