def I32.saturating_add
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1333def I32.saturating_add(a: I32, b: I32) -> I32:
1334 match a b:
1335 case I32{x} I32{y}:
1336 +v = {x : U32}
1337 I32{S32.saturate(S32.is_neg(v), S32.add_ov(v, y))}
Uses (5)
Used by (0)
No other definition uses this definition.