Bit-vector additive inverse
;; "bit-vector unary minus" ;; Compute the (modular) negation / additive inverse of X. (defund bvuminus (size x) (declare (type (integer 0 *) size)) ;; (bvminus size 0 x) (bvchop size (- (ifix x))))
