Type Definition egg::PatternAst

source · 
pub type PatternAst<L> = RecExpr<ENodeOrVar<L>>;
Expand description

A RecExpr that represents a Pattern.

Implementations§

source§

impl<L: Language> PatternAst<L>

source

pub fn alpha_rename(&self) -> Self

Returns a new PatternAst with the variables renames canonically