def le32

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/argon2.bend:21

import Base

21# LE32(n) for n < 2^32.
22def le32(+n: Nat) -> List<&2, U32>:
23  [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))]