Function prop::quality::mirror

source[−]
pub fn mirror<A: Prop>() -> Not<Not<Q<A, A>>>
Expand description

Mirror ¬¬(a ~~ a).