pub trait UniqSq<A, B>: NoOtherSq<A, B> { // Required method 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.
A
C
B
(a ¬> c) => (c == b).
(a ¬> c) => (c == b)