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