~/jendhub

def I32.checked_sub

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

import bend-kit-int@0.2.0.0/int.bend as Int
import Base

1308def I32.checked_sub(a: I32, b: I32) -> Maybe<&2, I32>:
1309  match a b:
1310    case I32{x} I32{y}:
1311      I32.some(S32.checked(S32.sub_ov(x, y)))

Uses (5)

Used by (0)

No other definition uses this definition.