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.