N120
- Signature
(n120 x) → *
- Arguments
- x — Guard (integerp x).
Definitions and Theorems
Function: n120$inline
(defun n120$inline (x)
(declare (xargs :guard (integerp x)))
(mbe :logic (loghead 120 x)
:exec (logand 1329227995784915872903807060280344575
x)))
