Cr8bits-debug
- Signature
(cr8bits-debug x) → *
- Arguments
- x — Guard (cr8bits-p x).
Definitions and Theorems
Function: cr8bits-debug$inline
(defun cr8bits-debug$inline (x)
(declare (xargs :guard (cr8bits-p x)))
(b* (((cr8bits x)))
(cons (cons 'cr8-trpl x.cr8-trpl) nil)))
