dedekind::sets::HasCardinalityType Concept Reference

The cardinality bound a comprehension inherits: the datum's when it declares one, else the base's. More...

Concept definition

template<typename T>
concept dedekind::sets::HasCardinalityType =  requires { typename T::cardinality_type; }

Detailed Description

The cardinality bound a comprehension inherits: the datum's when it declares one, else the base's.

Template Parameters

Predicate	the datum.
Base	the base set.

A predicate or set that declares its cardinality: T::cardinality_type is formed.

Template Parameters

T	the candidate.