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.
V2.28, 13 July 2023