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.