[Next] [Prev] [_____] [Left] [Up] [Index] [Root] 
Equality


Equality





T eq U : Tup, Tup -> BoolElt



True if and only if the tuples T and U are equal.



T ne U : Tup, Tup -> BoolElt



True if and only if the tuples T and U are distinct.



[Next] [Prev] [_____] [Left] [Up] [Index] [Root]