Function lamcal::alpha [−][src]
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.