def aes.byte
import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aesimport Base
63def aes.byte(+w: U32, n: Nat) -> U32:
64 U32.and(255, U32.shrn(w, n))
import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aesimport Base
63def aes.byte(+w: U32, n: Nat) -> U32:
64 U32.and(255, U32.shrn(w, n))