def mul.sum5
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
418def mul.sum5(d: U32, c: U32, h11: U32, +b: U32, b12: U32, carry: U32) -> W4:
419 mul.sum6(d, c, h11, b12, Limb.add(b, carry, 0))
import bend-kit-f64@0.1.0.0/f64.bend as F64import Base
418def mul.sum5(d: U32, c: U32, h11: U32, +b: U32, b12: U32, carry: U32) -> W4:
419 mul.sum6(d, c, h11, b12, Limb.add(b, carry, 0))