def aes.rotl
import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aesimport Base
45def aes.rotl(+b: U32, +n: Nat) -> U32:
46 U32.and(255, U32.or(U32.shln(b, n), U32.shrn(b, Nat.sub(8n, n))))
import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aesimport Base
45def aes.rotl(+b: U32, +n: Nat) -> U32:
46 U32.and(255, U32.or(U32.shln(b, n), U32.shrn(b, Nat.sub(8n, n))))