a name for this rewrite rule
Call transform(Node) to each node in ns, yield ns if nothing changes, otherwise a new sequence of concatenated results.
Call transform(Node) to each node in ns, yield ns if nothing changes, otherwise a new sequence of concatenated results.
Call transform(Node) for each node in ns, append results to NodeBuffer.
Call transform(Node) for each node in ns, append results to NodeBuffer.
A RewriteRule, when applied to a term, yields either the result of rewriting the term or the term itself if the rule is not applied.
1.0