Function rational_deduction::util::substitute_iter_on_atoms [−][src]
pub fn substitute_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)>,
Generator for substitution using an iterator.