def Int.div_ov

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

import Base

175def Int.div_ov(+n: Nat, s: Bool, a: Word(n), +b: Word(n)) -> Bool:
176  Bool.or(Int.is_zero(n, b), Int.min_neg1(n, s, a, b))

Uses (6)