def I32.saturating_sub

bend-kit-int@0.2.0.0 · int.bend:1339

import Base

1339def I32.saturating_sub(a: I32, b: I32) -> I32:
1340  match a b:
1341    case I32{x} I32{y}:
1342      +v = {x : U32}
1343      I32{S32.saturate(S32.is_neg(v), S32.sub_ov(v, y))}