def aria.rotr

bend-osdev-aria@0.1.0.0 · aria.bend:4538

import bend-osdev-aria@0.1.0.0/aria.bend as Aria

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.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))

Uses (6)

Used by (2)