Function rational_deduction::substitution::from_iter_on_atoms_ref_fn [−][src]
pub fn from_iter_on_atoms_ref_fn<'s, E, I>(iter: I) -> impl FnMut(&E::Atom) -> E where
E: 's + Expression,
E::Atom: Clone + PartialEq,
I: IntoIterator<Item = (&'s E::Atom, E)>,
Returns a function which performs substitution by reference using data from an iterator to an atomic expression.