def mul32_h

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

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

88def mul32_h(+al: U32, +ah: U32, +bl: U32, +bh: U32) -> W.U64:
89  mul32_mid(U32.mul(al, bl), U32.mul(al, bh), U32.mul(ah, bl), U32.mul(ah, bh))