Sib-equiv-under-mask
- Signature
(sib-equiv-under-mask x x1 mask) → *
- Arguments
- x — Guard (sib-p x).
- x1 — Guard (sib-p x1).
- mask — Guard (integerp mask).
Definitions and Theorems
Function: sib-equiv-under-mask$inline
(defun sib-equiv-under-mask$inline (x x1 mask)
(declare (xargs :guard (and (sib-p x)
(sib-p x1)
(integerp mask))))
(fty::int-equiv-under-mask (sib-fix x)
(sib-fix x1)
mask))
