Module expr_rewriter

Traits

ExprRewriter

By default, ExprRewriter simply traverses the expression tree and leaves nodes unchanged. Implementations can override a subset of methods and perform transformation on some particular types of expression.

Functions

default_rewrite_expr

The default implementation of ExprRewriter::rewrite_expr that simply dispatches to other methods based on the type of the expression.