catsfoot::verified< equivalence< T, op_eq > > Struct Template Reference

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

#include <congruence.hh>

Inheritance diagram for catsfoot::verified< equivalence< T, op_eq > >:

---

Detailed Description

template<typename T>
struct catsfoot::verified< equivalence< T, op_eq > >

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

---

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

• concept/congruence.hh