def aes.temp.big
import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aesimport Base
156# Nk > 6 and i mod Nk = 4: SubWord alone
157def aes.temp.big(big: Bool, +w: U32) -> U32:
158 match big:
159 case True{}:
160 aes.sub_word(w)
161 case False{}:
162 w