Function rational_deduction::substitution::from_iter_on_atoms

pub fn from_iter_on_atoms<'s, E, I>(iter: I, atom: E::Atom) -> E where
    E: 's + Expression,
    E::Atom: PartialEq,
    I: IntoIterator<Item = (&'s E::Atom, E)>, 

Performs a substitution using data from an iterator to an atomic expression.