def Int.cmp

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

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

import Base

81def Int.cmp(+n: Nat, s: Bool, a: Word(n), b: Word(n)) -> Cmp:
82  match s:
83    case True{}:
84      Word.cmp(n, Word.xor(n, a, Int.min(n, True{})),
85        Word.xor(n, b, Int.min(n, True{})))
86    case False{}:
87      Word.cmp(n, a, b)

Uses (7)

Used by (2)