Trait lamcal::AlphaRename [−][src]
Defines a strategy for renaming variables during α-conversion of terms.
A possible implementations may choose the next letter in the alphabet for single character names. Another strategy may be to enumerate the variables by appending an increasing number. A third example for an implementation is appending a tick symbol to the variable name.