dedekind::sets::default_cardinality< T > Struct Template Reference

Trait behind default_cardinality_t: ℵ_0 for every carrier (the countable fiction of #680) ... More...

Public Types
using	type = ℵ_0

Detailed Description

template<typename T>
struct dedekind::sets::default_cardinality< T >

Trait behind default_cardinality_t: ℵ_0 for every carrier (the countable fiction of #680) ...

Template Parameters

T	the carrier.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/sets/boundaries.cppm