Trait modus_lib::unification::RenameWithSubstitution

pub trait RenameWithSubstitution<T> {
    type Output;
    fn rename_with_sub(&self) -> (Self::Output, Substitution<T>);
}

Associated Types

type Output

Required methods

fn rename_with_sub(&self) -> (Self::Output, Substitution<T>)

Implementations on Foreign Types

impl RenameWithSubstitution<IRTerm> for Vec<Literal<IRTerm>>

type Output = Vec<Literal<IRTerm>>

fn rename_with_sub(&self) -> (Self::Output, Substitution<IRTerm>)

Implementors

impl RenameWithSubstitution<IRTerm> for IRTerm

type Output = IRTerm

impl RenameWithSubstitution<IRTerm> for Clause<IRTerm>

type Output = Clause<IRTerm>

impl RenameWithSubstitution<IRTerm> for Literal<IRTerm>

type Output = Literal<IRTerm>