		Search-engine friendly clone of the ACL2 documentation.

Expdata-xform-rec-calls-lst

Signature
(expdata-xform-rec-calls-lst terms old$ arg-surjmaps res-surjmaps new$) → new-terms
Arguments: terms — Guard (pseudo-term-listp terms).; old$ — Guard (symbolp old$).; arg-surjmaps — Guard (expdata-symbol-surjmap-alistp arg-surjmaps).; res-surjmaps — Guard (expdata-pos-surjmap-alistp res-surjmaps).; new$ — Guard (symbolp new$).