Type that implements a universal equivalence relation.
Returns true if this is equivalent to that, otherwise returns false.
true
this
that
false
Type that implements a universal equivalence relation.