def Neg.bits

bend-collections-laws-math@1.0.0.0 · spec/math/u64.bend:45

import Base
import bend-collections-laws-math@1.0.0.0/src/math/u64.bend as U

45def Neg.bits(+a: U.U64) -> Type:
46  {bits(U.neg(a)) == Word.inc(64n, Word.not(64n, bits(a))) : Word(64n)}