(xcr0bits-equiv-under-mask x x1 mask) → *
Function:
(defun xcr0bits-equiv-under-mask$inline (x x1 mask) (declare (xargs :guard (and (xcr0bits-p x) (xcr0bits-p x1) (integerp mask)))) (fty::int-equiv-under-mask (xcr0bits-fix x) (xcr0bits-fix x1) mask))