Recognizer for transunit-ensemble structures.
(transunit-ensemblep x) → *
Function: transunit-ensemblep
(defun transunit-ensemblep (x) (declare (xargs :guard t)) (and (b* ((unwrap x)) (filepath-transunit-mapp unwrap))))
