def g_fin

bend-collections-laws-math@1.0.0.0 · proofs/math/u64/u64div.bend:89

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

89def g_fin(+lo: U32, +hi: U32, +d: U32, +t1: U32, +t2: U32, +t3: U32, +c20: U32, +c8: U32) -> U.U64:
90  U.U64{U32.add(U32.add(U32.mul(U32.div(t1, d), c20), U32.mul(U32.div(t2, d), c8)), U32.div(t3, d)), U32.div(hi, d)}