def Int.checked_mod

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

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

import Base

221def Int.checked_mod(+n: Nat, +s: Bool, +a: Word(n), +b: Word(n)) ->
222  Maybe<&2, Word(n)>:
223  Int.checked(n, (Int.div_ov(n, s, a, b), Int.mod(n, s, a, b)))

Uses (8)

Used by (2)