|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
This is the complete list of members for dedekind::relational::CoreflexivePred< S >, including all inherited members.
| is_rel_predicate typedef (defined in dedekind::relational::CoreflexivePred< S >) | dedekind::relational::CoreflexivePred< S > | |
| operator()(const std::pair< A, A > &p) const | dedekind::relational::CoreflexivePred< S > | inline |
| s (defined in dedekind::relational::CoreflexivePred< S >) | dedekind::relational::CoreflexivePred< S > |