When T is a congruence for ==, then T is a congruence_eq.
More...
#include <congruence.hh>
Detailed Description
template<typename T, typename... Args>
struct catsfoot::verified< congruence_eq< T, Args...> >
When T is a congruence for ==, then T is a congruence_eq.
The documentation for this struct was generated from the following file: