dedekind::sets::Verdict< P, K >::FiniteSort Member List

This is the complete list of members for dedekind::sets::Verdict< P, K >::FiniteSort, including all inherited members.

operator()(std::type_identity< C >) const (defined in dedekind::sets::Verdict< P, K >::FiniteSort)

dedekind::sets::Verdict< P, K >::FiniteSort

inline