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

Trait to mark a relation as codirected: every pair of elements has a lower bound. More...

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

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

Detailed Description

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

Trait to mark a relation as codirected: every pair of elements has a lower bound.

---

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

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