def Int.neg

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

import Base

89def Int.neg(+n: Nat, w: Word(n)) -> Word(n):
90  Word.sub(n, Word.zero(n), w)