Trait razor_fol::transform::Substitution

pub trait Substitution {
    fn apply(&self, v: &V) -> Term;
}

Is the trait of types that map variables to terms.

Required methods

fn apply(&self, v: &V) -> Term

Maps v to a Term.

Loading content...

Implementations on Foreign Types

impl<'_> Substitution for HashMap<&'_ V, Term>

Any map from V to Term is a substitution.

fn apply(&self, v: &V) -> Term

Loading content...

Implementors

impl<F> Substitution for F where
    F: Fn(&V) -> Term, 

Any function from V to Term is a substitution.

fn apply(&self, v: &V) -> Term

Loading content...