def aes.inv_round
import bend-osdev-aes@0.1.0.0/aes.bend as Aesimport Base
import bend-collections@1.0.0.0/src/crypto/aes/aes.bend as A
import bend-collections@1.0.0.0/src/crypto/aes/types.bend as T
150# A round undone (round key k): AddRoundKey, InvMixColumns, InvShiftRows,
151# InvSubBytes; the last round has no MixColumns to undo
152def aes.inv_round(c: T.State, k: T.State) -> T.State:
153 aes.inv_sub(aes.inv_shift(aes.inv_mix(A.add_round_key(c, k))))