Function rational_deduction::rule::pair_compose

pub fn pair_compose<E, T, B, Output>(top: T, bot: B) -> Output where
    E: Expression,
    E::Atom: PartialEq,
    E::Group: FromIterator<E> + IntoIterator<Item = E>,
    T: Rule<E>,
    B: Rule<E>,
    Output: Rule<E>, 

Composes two rules using the ratio monoid multiplication algorithm.