def hi16

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

import Base

40def hi16(+s: Nat) -> Nat:
41  Nat.div(Nat.div(s, 256n), 256n)

Uses (2)