Bit-vector difference.
;; Compute the (modular) difference of X and Y. ;; TODO: Consider defining this in terms of bvplus and bvuminus. (defund bvminus (size x y) (declare (type (integer 0 *) size)) (bvchop size (- (ifix x) (ifix y))))
