def aria.word

bend-osdev-legacy-ciphers@0.1.0.0 · aria.bend:4417

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

4417# the word with bytes a (most significant), b, c, d
4418def aria.word(a: Word(8n), b: Word(8n), c: Word(8n), d: Word(8n)) -> U32:
4419  U32{W.W64.bits.cat(8n, 24n, d, W.W64.bits.cat(8n, 16n, c, W.W64.bits.cat(8n, 8n, b, a)))}