~/jendhub

def I32.checked_div

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

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

1318def I32.checked_div(a: I32, b: I32) -> Maybe<&2, I32>:
1319  match a b:
1320    case I32{x} I32{y}:
1321      I32.some(S32.checked_div(x, y))

Uses (4)

Used by (0)

No other definition uses this definition.