Function prop::quality::self_quality_left

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

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