N112
- Signature
(n112 x) → *
- Arguments
- x — Guard (integerp x).
Definitions and Theorems
Function: n112$inline
(defun n112$inline (x)
(declare (xargs :guard (integerp x)))
(mbe :logic (loghead 112 x)
:exec (logand 5192296858534827628530496329220095 x)))
