def cr.vm.u32le

bend-osdev-crypto@0.1.0.0 · vmac.bend:93

import Base

93def cr.vm.u32le(+xs: List<&2, U32>, +i: Nat) -> U32:
94  U32.or(U32.or(U32.shln(cr.vm.at(xs, Nat.add(i, 3n)), 24n), U32.shln(cr.vm.at(xs, Nat.add(i, 2n)), 16n)), U32.or(U32.shln(cr.vm.at(xs, Nat.add(i, 1n)), 8n), cr.vm.at(xs, i)))