Generate the instantiation of the exit test of
(defarbrec-gen-test-of-updates-term x1...xn$ test update-names$ iterations) → terms
This is the term
Function:
(defun defarbrec-gen-test-of-updates-term (x1...xn$ test update-names$ iterations) (declare (xargs :guard (and (symbol-listp x1...xn$) (pseudo-termp test) (symbol-listp update-names$) (pseudo-termp iterations)))) (let ((__function__ 'defarbrec-gen-test-of-updates-term)) (declare (ignorable __function__)) (subcor-var x1...xn$ (apply-terms-same-args update-names$ (cons iterations x1...xn$)) test)))