Variant of apply-terms-same-args that performs no simplification.
(fapply-terms-same-args fns args) → terms
The meaning of the starting
Function:
(defun fapply-terms-same-args (fns args) (declare (xargs :guard (and (pseudo-termfn-listp fns) (pseudo-term-listp args)))) (let ((__function__ 'fapply-terms-same-args)) (declare (ignorable __function__)) (if (endp fns) nil (cons (fapply-term (car fns) args) (fapply-terms-same-args (cdr fns) args)))))