dedekind::sets::ExtensionalCardinal< W >::CheckedResult Member List

This is the complete list of members for dedekind::sets::ExtensionalCardinal< W >::CheckedResult, including all inherited members.

overflowed (defined in dedekind::sets::ExtensionalCardinal< W >::CheckedResult)	dedekind::sets::ExtensionalCardinal< W >::CheckedResult
result (defined in dedekind::sets::ExtensionalCardinal< W >::CheckedResult)	dedekind::sets::ExtensionalCardinal< W >::CheckedResult