catsfoot::verified< equivalence_eq< T > > Struct Template Reference

If == is an equivalence relation to T, then T is equivalence_eq. More...

#include <congruence.hh>

Inheritance diagram for catsfoot::verified< equivalence_eq< T > >:

Collaboration diagram for catsfoot::verified< equivalence_eq< T > >:

---

Detailed Description

template<typename T>
struct catsfoot::verified< equivalence_eq< T > >

If == is an equivalence relation to T, then T is equivalence_eq.

---

The documentation for this struct was generated from the following file:

• concept/congruence.hh