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

When T is a congruence for ==, then T is a congruence_eq. More...

#include <congruence.hh>

Inheritance diagram for catsfoot::verified< congruence_eq< T, Args...> >:
Collaboration diagram for catsfoot::verified< congruence_eq< T, Args...> >:

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: