def lo16

import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/limbs.bend as Limbs

import Base

36# s mod 2^16 and s div 2^16
37def lo16(+s: Nat) -> Nat:
38  Nat.add(Nat.mod(s, 256n), Nat.mul(Nat.mod(Nat.div(s, 256n), 256n), 256n))

Uses (5)