def cast.w

bend-osdev-legacy-ciphers@0.1.0.0 · cast5.bend:382

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L

382# the big-endian word of bytes i .. i + 3 of a
383def cast.w(+a: List<&2, U32>, +i: Nat) -> U32:
384  L.lc.be(L.lc.at(a, i), L.lc.at(a, Nat.add(i, 1n)), L.lc.at(a, Nat.add(i, 2n)), L.lc.at(a, Nat.add(i, 3n)))