		Search-engine friendly clone of the ACL2 documentation.

Parteval-transform-rec-calls-in-terms

Signature
(parteval-transform-rec-calls-in-terms body-terms old$ new-name$ y1...ym wrld) → new-body-term
Arguments: body-terms — Guard (pseudo-term-listp body-terms).; old$ — Guard (symbolp old$).; new-name$ — Guard (symbolp new-name$).; y1...ym — Guard (symbol-listp y1...ym).; wrld — Guard (plist-worldp wrld).