# 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.