def Int.checked_div

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

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

import Base

217def Int.checked_div(+n: Nat, +s: Bool, +a: Word(n), +b: Word(n)) ->
218  Maybe<&2, Word(n)>:
219  Int.checked(n, (Int.div_ov(n, s, a, b), Int.div(n, s, a, b)))

Uses (8)

Used by (2)