def lc.wrotl

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:75

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

75# the (m + n)-bit word w rotated left by n
76def lc.wrotl(+m: Nat, +n: Nat, +w: Word(Nat.add(m, n))) -> Word(Nat.add(n, m)):
77  W.W64.bits.cat(n, m, W.W64.bits.hi(m, n, w), W.W64.bits.lo(m, n, w))