Bool->sign
Interpret a sign bit as an integer: true → -1, false → 0.
- Signature
(bool->sign x) → *
Definitions and Theorems
Function: bool->sign
(defun bool->sign (x)
(declare (xargs :guard t))
(let ((__function__ 'bool->sign))
(declare (ignorable __function__))
(if x -1 0)))
