def Int.add_ov

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

import Base

186def Int.add_ov(+n: Nat, s: Bool, +a: Word(n), +b: Word(n)) -> Bool & Word(n):
187  Int.add_ov.go(n, s, a, b, Word.add(n, a, b))