Trait RenameWithSubstitution

pub trait RenameWithSubstitution<T> {
    type Output;

    // Required method
    fn rename_with_sub(&self) -> (Self::Output, Substitution<T>);
}

Required 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>

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

impl RenameWithSubstitution<IRTerm> for Literal<IRTerm>

type Output = Literal