Module move_model::exp_rewriter

Structs

• ExpRewriter
  Rewriter for expressions, allowing to substitute locals by expressions as well as instantiate types.

Enums

• RewriteTarget
  A target for expression rewrites of either an Exp::LocalVar or an Exp::Temporary. This is used as a parameter to the replacer function which defines the behavior of the rewriter. Notice we use a single function entry point for replacer to allow it to be a function which mutates it’s context.

Traits

• ExpRewriterFunctions
  A general trait for expression rewriting.