Apply each function symbol or lambda expression of a list to the same list of pseudo-term arguments, obtaining a list of corresponding function applications.
(apply-terms-same-args fns args) → terms
This utility lifts apply-term from a single function to a list of functions.
Function:
(defun apply-terms-same-args (fns args) (declare (xargs :guard (and (pseudo-termfn-listp fns) (pseudo-term-listp args)))) (let ((__function__ 'apply-terms-same-args)) (declare (ignorable __function__)) (if (endp fns) nil (cons (apply-term (car fns) args) (apply-terms-same-args (cdr fns) args)))))