Module move_model::exp_rewriter
source · Structs
- Rewriter for expressions, allowing to substitute locals by expressions as well as instantiate types.
Enums
- A target for expression rewrites of either an
Exp::LocalVar
or anExp::Temporary
. This is used as a parameter to thereplacer
function which defines the behavior of the rewriter. Notice we use a single function entry point forreplacer
to allow it to be a function which mutates it’s context.
Traits
- A general trait for expression rewriting.