Type Definition egg::PatternAst

pub type PatternAst<L> = RecExpr<ENodeOrVar<L>>;

A RecExpr that represents a Pattern.

Implementations

impl<L: Language> PatternAst<L>

pub fn alpha_rename(&self) -> Self

Returns a new PatternAst with the variables renames canonically