~/jendhub

def Int.mul_ov.go

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

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

200def Int.mul_ov.go(+n: Nat, +s: Bool, +a: Word(n), +b: Word(n), +r: Word(n)) ->
201  Bool & Word(n):
202  (Bool.or(Bool.and(Bool.not(Int.is_zero(n, b)),
203    Bool.not(Int.is_eq(n, Int.div(n, s, r, b), a))),
204    Int.min_neg1(n, s, a, b)), r)

Uses (12)

Used by (1)