Recognize a translation unit ensemble or a fileset.
(tunitens/fileset-p x) → yes/no
Function:
(defun tunitens/fileset-p (x) (declare (xargs :guard t)) (let ((__function__ 'tunitens/fileset-p)) (declare (ignorable __function__)) (or (transunit-ensemblep x) (filesetp x))))
Theorem:
(defthm booleanp-of-tunitens/fileset-p (b* ((yes/no (tunitens/fileset-p x))) (booleanp yes/no)) :rule-classes :rewrite)