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