N256
- Signature
(n256 x) → *
- Arguments
- x — Guard (integerp x).
Definitions and Theorems
Function: n256$inline
(defun n256$inline (x)
(declare (xargs :guard (integerp x)))
(mbe
:logic (loghead 256 x)
:exec
(logand
115792089237316195423570985008687907853269984665640564039457584007913129639935
x)))
