Type Definition egg::PatternAst
source · [−]pub type PatternAst<L> = RecExpr<ENodeOrVar<L>>;
Implementations
sourceimpl<L: Language> PatternAst<L>
impl<L: Language> PatternAst<L>
sourcepub fn alpha_rename(&self) -> Self
pub fn alpha_rename(&self) -> Self
Returns a new PatternAst
with the variables renames canonically