def S32.mul_ov
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
653def S32.mul_ov(+a: U32, +b: U32) -> Bool & U32:
654 S32.mul_ov.go(a, b, U32.mul(a, b))
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
653def S32.mul_ov(+a: U32, +b: U32) -> Bool & U32:
654 S32.mul_ov.go(a, b, U32.mul(a, b))