~/jendhub

def I32.checked_mul

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

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

1313def I32.checked_mul(a: I32, b: I32) -> Maybe<&2, I32>:
1314  match a b:
1315    case I32{x} I32{y}:
1316      I32.some(S32.checked(S32.mul_ov(x, y)))

Uses (5)

Used by (0)

No other definition uses this definition.