def le32

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:31

import Base

31# LE32(n): the four little-endian bytes of n < 2^32.
32def le32(+n: Nat) -> List<&2, U32>:
33  [U32.from_nat(Nat.mod(n, 256n)), U32.from_nat(Nat.mod(Nat.div(n, 256n), 256n)), U32.from_nat(Nat.mod(Nat.div(n, 65536n), 256n)), U32.from_nat(Nat.div(n, 16777216n))]