A function that always just returns the constant t.
This is occasionally useful for defattach, etc.
Function: true
(defun true nil (declare (xargs :guard t)) t)
