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

Trait to mark a relation as directed: every pair of elements has an upper bound. More...

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

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

Detailed Description

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

Trait to mark a relation as directed: every pair of elements has an upper bound.

---

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

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