Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::SumMembership< A, B > Member List

This is the complete list of members for dedekind::sets::SumMembership< A, B >, including all inherited members.

a (defined in dedekind::sets::SumMembership< A, B >)dedekind::sets::SumMembership< A, B >
b (defined in dedekind::sets::SumMembership< A, B >)dedekind::sets::SumMembership< A, B >
logic_species typedef (defined in dedekind::sets::SumMembership< A, B >)dedekind::sets::SumMembership< A, B >
operator()(const std::variant< typename A::Domain, typename B::Domain > &v) constdedekind::sets::SumMembership< A, B >inline