|
Dedekind 0.0.0
A structuralist C++23 Module Library
|

Public Types | |
| using | is_rel_predicate = void |
Public Member Functions | |
| template<typename Pair> requires requires(const Pair& ac) { ac.first; ac.second; } | |
| constexpr bool | operator() (const Pair &ac) const |
Public Attributes | |
| PR | r |
| PS | s |
| std::size_t | bound |
|
inlineconstexpr |
| ac | the endpoint pair \((a,c)\) — any .first / .second carrier the operands accept. |