def Int.mul_ov

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

import Base

206def Int.mul_ov(+n: Nat, s: Bool, +a: Word(n), +b: Word(n)) -> Bool & Word(n):
207  Int.mul_ov.go(n, s, a, b, Word.mul(n, a, b))