Function prop::quality::transitivity

pub fn transitivity<A: Prop, B: Prop, C: Prop>(
    Q: Q<A, B>, 
    Q: Q<B, C>
) -> Q<A, C>

Transitivity (a ~~ b) ⋀ (b ~~ c) => (a ~~ c).