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 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
A general trait for expression rewriting.