Trait prop::quality::UniqQ

pub trait UniqQ<A, B>: NoOtherQ<A, B> {
    fn uniq_q(&self, q_aa: Q<A, A>) -> Q<A, B>;
}

If something is qual to A, then A is qual to B.

Required methods

fn uniq_q(&self, q_aa: Q<A, A>) -> Q<A, B>

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

Implementors