(true) → *
Function: true
(defun true nil (declare (xargs :guard t)) (let ((__function__ 'true)) (declare (ignorable __function__)) -1))
