def mul.sum1
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
436def mul.sum1(d: U32, h01: U32, l10: U32, h10: U32, h11: U32, l11: U32, limb: Limb) -> W4:
437 match limb:
438 case Limb{c, c1}:
439 mul.sum2(d, c1, h01, h10, h11, l11, Limb.add(c, l10, 0))