|
|
|---|
|
|
|
|---|
Apply sexpr-rewriting to an sexpr with a substitution. The expressions in the substitution are assumed to already be simplified.
In sexpr-rewriting (see sexpr-rewrite), when a rewrite rule is successfully applied by sexpr-rewrite-try-rules, it results in a RHS sexpr and a substitution alist. To completely simplify the result (to a fixed point under the existing rules, if one exists), this function recurs down the RHS, attempting to apply rewrite rules to each subexpression (using sexpr-rewrite-fncall) while rebuilding a sexpr corresponding to the composition of the RHS and the substitution.