def Int.mod

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

import Base

163def Int.mod(+n: Nat, s: Bool, a: Word(n), b: Word(n)) -> Word(n):
164  Int.snd(n, Int.divmod(n, s, a, b))

Uses (5)