Equivalence relation with a corresponding hash function.
concept equivalence with hash[contravariant value element]
Declaration: equivalence with hash
Announcements: equivalence with hash
Direct supertypes: equivalence relation