def rotr
import bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as CoreModelimport Base
6def rotr(+x: U32, +n: Nat) -> U32:
7 (U32.shrn(x, n) .|. U32.shln(x, Nat.sub(32n, n)) : U32)
Uses (6)
Used by (0)
No other definition uses this definition.