def h_g

bend-collections-laws-crypto@1.0.0.0 · proofs/math/typed/w64mul.bend:254

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

254def h_g(+al: U32, +ah: U32, +bl: U32, +bh: U32, +c: U32) -> WU.U64:
255  mid_g(U32.mul(al, bl), U32.mul(al, bh), U32.mul(ah, bl), U32.mul(ah, bh), c)