úÎ € ÂAn 9 is an equivalence relation on a range of values of some  index type.  4 is an equivalence relation that equates two values L only when they are equal to each other. It is the most discerning such  relation possible. IGets the domain of an equivalence relation, as the ordered pair of index  bounds. DDetermines if two values are equivalent under the given equivalence  relation. EDetermines if all of the given values are equivalent under the given  equivalence relation. FConstruct the equivalence relation obtained by equating the given two 0 values. This combines equivalence classes. IConstruct the equivalence relation obtained by equating all of the given 0 values. This combines equivalence classes.      persistent-equivalence-0.3Data.Equivalence.Persistent EquivalenceemptyEquivalencedomainequiv equivalentequate equateAllranksparents arrayFromref reprHelperrepr