Enum move_model::exp_rewriter::RewriteTarget
source · pub enum RewriteTarget {
LocalVar(Symbol),
Temporary(TempIndex),
}
Expand description
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.