Svex-simpconfig-fix!
- Signature
(svex-simpconfig-fix! x) → *
Definitions and Theorems
Function: svex-simpconfig-fix!
(defun svex-simpconfig-fix! (x)
(declare (xargs :guard t))
(let ((__function__ 'svex-simpconfig-fix!))
(declare (ignorable __function__))
(if (or (natp x) (eq x t)) x nil)))
