Trait prop::queenity::UniqSq

pub trait UniqSq<A, B>: NoOtherSq<A, B> {
    fn uniq_sq<C: Prop>(&self, sq: Sq<A, C>) -> Eq<C, B>;
}

If A’s queen is C, then C is equal to B.

Required methods

fn uniq_sq<C: Prop>(&self, sq: Sq<A, C>) -> Eq<C, B>

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

Implementors