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

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

#include <congruence.hh>

Inheritance diagram for catsfoot::verified< congruence< op_eq, T, Args...> >:

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: