|
|
|---|
|
|
|
|---|
Form that aborts the application of an FGL rewrite rule when encountered while processing the RHS of the rule.
The basic syntax of an abort-rewrite form is:
(abort-rewrite value-term)
where value-term can be anything. Usually value-term is selected so that the rewrite rule is easy to prove -- e.g., it may just be the LHS of the rule.