catsfoot::congruence_eq< T, Args > Struct Template Reference

Concept for congruence relation with operator==. More...

#include <congruence.hh>

Inheritance diagram for catsfoot::congruence_eq< T, Args >:

Collaboration diagram for catsfoot::congruence_eq< T, Args >:

List of all members.

Public Types
typedef concept_list < congruence< op_eq, T, Args...> >	requirements

---

Detailed Description

template<typename T, typename... Args>
struct catsfoot::congruence_eq< T, Args >

Concept for congruence relation with operator==.

---

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

• concept/congruence.hh