dedekind::sets::IsCardinality Concept Reference

Concept definition

template<typename C>
concept dedekind::sets::IsCardinality =  requires {
  { C::is_finite } -> std::convertible_to<bool>;
  { C::is_countable } -> std::convertible_to<bool>;
  typename C::power_type;
}