def len_lo

bend-collections@1.0.0.0 · spec/crypto/sha/packed.bend:19

import Base
import bend-collections@1.0.0.0/spec/crypto/sha.bend as F

19def len_lo(+n: Nat) -> U32:
20  +d0 = Nat.div(n, 32n)
21  +d1 = Nat.div(d0, 256n)
22  +d2 = Nat.div(d1, 256n)
23  F.decode(U32.from_nat(Nat.mod(d2, 256n)), U32.from_nat(Nat.mod(d1, 256n)),
24    U32.from_nat(Nat.mod(d0, 256n)), U32.shln(U32.from_nat(Nat.mod(n, 32n)), 3n))