Function rational_deduction::expr::substitute

pub fn substitute<E, R, F>(ratio: R, f: F) -> R where
    E: Expression,
    E::Group: IntoIterator<Item = E> + FromIterator<E>,
    R: Ratio<E::Group>,
    F: FnMut(E::Atom) -> E, 

Substitute an Expression into each Atom of self.