def Int.divmod
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
148def Int.divmod(+n: Nat, s: Bool, a: Word(n), +b: Word(n)) ->
149 Word(n) & Word(n):
150 Int.divmod.if(Int.is_zero(n, b), s, n, a, b)
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
148def Int.divmod(+n: Nat, s: Bool, a: Word(n), +b: Word(n)) ->
149 Word(n) & Word(n):
150 Int.divmod.if(Int.is_zero(n, b), s, n, a, b)