def aria.rotr
import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Ariaimport Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
4538def aria.rotr(+n: Nat, b: M.CmBlock) -> M.CmBlock:
4539 aria.rotb(Nat.mod(n, 32n), aria.rotw.n(Nat.div(n, 32n), b))