Trait prop::quality::NoOtherQ

pub trait NoOtherQ<A, B>: 'static + Clone {
    fn no_other_q<C: Prop>(&self, q: Q<A, C>) -> Not<Not<Q<B, C>>>;
}

Prevents other qualities of A from excluding B.

Required methods

fn no_other_q<C: Prop>(&self, q: Q<A, C>) -> Not<Not<Q<B, C>>>

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

Implementors