~/jendhub

def I32.checked_add

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

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

1303def I32.checked_add(a: I32, b: I32) -> Maybe<&2, I32>:
1304  match a b:
1305    case I32{x} I32{y}:
1306      I32.some(S32.checked(S32.add_ov(x, y)))

Uses (5)

Used by (0)

No other definition uses this definition.