Equality

T eq U: Tup, Tup -> BoolElt

Return true if and only if the tuples \(T\) and \(U\) are equal.

T ne U: Tup, Tup -> BoolElt

Return true if and only if the tuples \(T\) and \(U\) are distinct.