pub trait NoOtherSq<A, B>: 'static + Clone { // Required method fn no_other_sq<C: Prop>(&self, sq: Sq<A, C>) -> Not<Not<Sq<A, B>>>; }
Prevents other queens of A from excluding queen B.
A
B
(a ¬> c) => ¬¬(a ¬> b).
(a ¬> c) => ¬¬(a ¬> b)