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

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.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]

Version: V2.19 of Mon Dec 17 14:40:36 EST 2012