Type Definition prop::quality::Seshatic

source · [−]
pub type Seshatic<A, B> = Or<Not<Q<A, A>>, Not<Q<B, B>>>;
Expand description

A Seshatic relation ¬(a ~~ a) ⋁ ¬(b ~~ b).