~/jendhub

def Int.sdivmod.fix

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

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

129def Int.sdivmod.fix(+n: Nat, +na: Bool, nb: Bool, qr: Word(n) & Word(n)) ->
130  Word(n) & Word(n):
131  (q, r) = qr
132  (Int.neg_if(n, Bool.xor(na, nb), q), Int.neg_if(n, na, r))

Uses (7)

Used by (1)