|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
This is the complete list of members for dedekind::category::ProductLeq< LeqA, LeqB >, including all inherited members.
| operator()(const std::pair< A, B > &x, const std::pair< A, B > &y) const | dedekind::category::ProductLeq< LeqA, LeqB > | inline |