Function prop::quality::self_quality_right

source[−]
pub fn self_quality_right<A: Prop, B: Prop>(q_ab: Q<A, B>) -> Q<B, B>
Expand description

(a ~~ b) => (b ~~ b).