Trait lamcal::AlphaRename[][src]

pub trait AlphaRename {
    fn rename(name: &mut String);
}

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.

Required Methods

Renames the given variable name according the implemented strategy.

Implementors