def of48

bend-collections-laws-crypto@1.0.0.0 · src/math/w64.bend:714

import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

714def of48(+g: Nat) -> W.U64:
715  of48_h(g, Nat.div(Nat.div(g, 65536n), 65536n))