N128
- Signature
(n128 x) → *
- Arguments
- x — Guard (integerp x).
Definitions and Theorems
Function: n128$inline
(defun n128$inline (x)
(declare (xargs :guard (integerp x)))
(mbe :logic (loghead 128 x)
:exec (logand 340282366920938463463374607431768211455
x)))
