Tailrec-find-nonrec-terms
Find the maximal and leftmost subterm of terms-to-try
that satisfies the conditions for nonrec<x1,...,xn>
described in the documentation.
- Signature
(tailrec-find-nonrec-terms combine-nonrec terms-to-try r q)
→
(mv success nonrec combine)
- Arguments
- combine-nonrec — Guard (pseudo-termp combine-nonrec).
- terms-to-try — Subterms of combine-nonrec
to examine next.
Guard (pseudo-term-listp terms-to-try).
- r — Guard (symbolp r).
- q — Guard (symbolp q).
- Returns
- success — A booleanp.
- nonrec — The pseudo-termp nonrec<x1,...,xn>
described in the documentation,
if success is t;
otherwise nil.
- combine — The pseudo-termp combine<q,r>
described in the documentation,
if success is t;
otherwise nil.
This is the companion function to tailrec-find-nonrec-term,
used to recursively process arguments of function calls.