A value that provides a natural equivalence relation.
interface has equivalence
subtypes equality comparable
| ideal • runtime • elements • has equivalence | empty → |
| ideal • runtime • elements • has equivalence | empty → |