dedekind::category::detail_comprehension::Before< Rank, Order > Struct Template Reference

Whether a ranks before b. More...

Collaboration diagram for dedekind::category::detail_comprehension::Before< Rank, Order >:

Public Member Functions
template<typename A>
constexpr bool	operator() (const A &a, const A &b) const

Public Attributes
Rank	rank
Order	order

Detailed Description

template<typename Rank, typename Order>
struct dedekind::category::detail_comprehension::Before< Rank, Order >

Whether a ranks before b.

---

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

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