Module substitution

Module substitution 

Source
Expand description

Substitution system for replacing expressions

Provides recursive tree-walking substitution for Expression types.

Traitsยง

Substitutable
Trait for types that support substitution operations