def rotr
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as Coreimport Base
14def rotr(+x: U32, +n: Nat) -> U32:
15 (U32.shrn(x, n) .|. U32.shln(x, Nat.sub(32n, n)) : U32)
Uses (6)
Used by (0)
No other definition uses this definition.