Function prop::quality::aq_sesh_right

source · 
pub fn aq_sesh_right<A: Prop, B: Prop>(sesh_b: Not<Aq<B, B>>) -> Not<Aq<A, B>>
Expand description

Introduce a different proposition in left argument (keep right).