Type Alias PatternAst 

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

A RecExpr that represents a Pattern.

Aliased Type

pub struct PatternAst<L> { /* private fields */ }

Implementations

impl<L: Language> PatternAst<L>

pub fn alpha_rename(&self) -> Self

Returns a new PatternAst with the variables renames canonically