dedekind::category::is_reflexive< T, Rel > Struct Template Reference

Trait to mark a relation as reflexive: a ~ a = True. More...

Inheritance diagram for dedekind::category::is_reflexive< T, Rel >:

Collaboration diagram for dedekind::category::is_reflexive< T, Rel >:

Detailed Description

template<typename T, typename Rel>
struct dedekind::category::is_reflexive< T, Rel >

Trait to mark a relation as reflexive: a ~ a = True.

---

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

• src/main/modules/dedekind/category/mereology.cppm