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