modus_lib::unification

Trait Rename

Source 
pub trait Rename<T> {
    // Required method
    fn rename(&self) -> T;
}

Required Methods§

Source

fn rename(&self) -> T

Implementors§