def rotr
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as Blake3import Base
79# Right rotation by n bits, 0 < n < 32.
80def rotr(+x: U32, +n: Nat) -> U32:
81 U32.or(U32.shrn(x,n),U32.shln(x,Nat.sub(32n,n)))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake3.bend as Blake3import Base
79# Right rotation by n bits, 0 < n < 32.
80def rotr(+x: U32, +n: Nat) -> U32:
81 U32.or(U32.shrn(x,n),U32.shln(x,Nat.sub(32n,n)))