Aria.aria.rotw: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Aria
Lines 4519-4523 of bend-osdev-legacy-ciphers@0.1.0.0/aria.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&start_line=4519&end_line=4523

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

# the 128-bit block rotated right by n bits (n below 128)
def aria.rotw(b: M.CmBlock) -> M.CmBlock:
  match b:
    case M.CmBlock{a, c, d, e}:
      M.CmBlock{e, a, c, d}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmBlock