def Int.sub_ov
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
197def Int.sub_ov(+n: Nat, s: Bool, +a: Word(n), +b: Word(n)) -> Bool & Word(n):
198 Int.sub_ov.go(n, s, a, b, Word.sub(n, a, b))
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
197def Int.sub_ov(+n: Nat, s: Bool, +a: Word(n), +b: Word(n)) -> Bool & Word(n):
198 Int.sub_ov.go(n, s, a, b, Word.sub(n, a, b))