def S32.add_ov.go
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
637def S32.add_ov.go(a: U32, b: U32, +r: U32) -> Bool & U32:
638 (S32.is_neg(U32.and(U32.xor(a, r), U32.xor(b, r))), r)
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
637def S32.add_ov.go(a: U32, b: U32, +r: U32) -> Bool & U32:
638 (S32.is_neg(U32.and(U32.xor(a, r), U32.xor(b, r))), r)