Function lamcal::alpha

pub fn alpha<A>(expr: &Term, names: &HashSet<&VarName>) -> Term where
    A: AlphaRename, 

Performs an α-conversion on a given lambda expression and returns the result as a new Term.

The type parameter A defines the strategy to be used for renaming bound variables.

The result is returned as a new Term. The original term expr is not changed. If you want to perform an α-conversion on a term in place use the associated function Term::alpha instead.