~/jendhub

def Int.sub_ov.go

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

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

189def Int.sub_ov.go(+n: Nat, s: Bool, +a: Word(n), b: Word(n), +r: Word(n)) ->
190  Bool & Word(n):
191  match s:
192    case True{}:
193      (Int.msb(n, Word.and(n, Word.xor(n, a, b), Word.xor(n, a, r))), r)
194    case False{}:
195      (Cmp.is_lt(Word.cmp(n, a, b)), r)

Uses (10)

Used by (1)