Predicate EqualsOrNotEquals::total_ordering

predicate total_ordering(Class cls)