Transform the arguments of a recursive call of
(parteval-transform-rec-args rec-args yj...ym rem-formals) → new-rec-args
This applies to case 2 in the reference documentation.
Each call of
Function:
(defun parteval-transform-rec-args (rec-args yj...ym rem-formals) (declare (xargs :guard (and (pseudo-term-listp rec-args) (symbol-listp yj...ym) (symbol-listp rem-formals)))) (let ((__function__ 'parteval-transform-rec-args)) (declare (ignorable __function__)) (cond ((endp yj...ym) rec-args) (t (b* ((yj (car yj...ym)) (pos (position-eq yj rem-formals)) (rec-args (append (take pos rec-args) (nthcdr (1+ pos) rec-args)))) (parteval-transform-rec-args rec-args (cdr yj...ym) (remove-eq yj rem-formals)))))))