Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::ProductLeq< LeqA, LeqB > Member List

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) constdedekind::category::ProductLeq< LeqA, LeqB >inline