def des.rot28
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Desimport Base
306def des.rot28(+x: U32, +s: Nat) -> U32:
307 U32.and(268435455, U32.or(U32.shln(x, s), U32.shrn(x, Nat.sub(28n, s))))
import bend-osdev-legacy-ciphers@0.1.0.0/des.bend as Desimport Base
306def des.rot28(+x: U32, +s: Nat) -> U32:
307 U32.and(268435455, U32.or(U32.shln(x, s), U32.shrn(x, Nat.sub(28n, s))))