Transform a translation unit ensemble.
(rename-transunit-ensemble tunits subst) → new-tunits
Function:
(defun rename-transunit-ensemble (tunits subst) (declare (xargs :guard (and (transunit-ensemblep tunits) (ident-ident-alistp subst)))) (let ((__function__ 'rename-transunit-ensemble)) (declare (ignorable __function__)) (b* (((transunit-ensemble tunits) tunits)) (transunit-ensemble (rename-filepath-transunit-map tunits.unwrap subst)))))
Theorem:
(defthm transunit-ensemblep-of-rename-transunit-ensemble (b* ((new-tunits (rename-transunit-ensemble tunits subst))) (transunit-ensemblep new-tunits)) :rule-classes :rewrite)