eqv 0.1.0

Traits for defining equivalence relations between types.
Documentation