Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::carrier_cardinality< T > Struct Template Reference
module dedekind.order

Public Types

using type

Member Typedef Documentation

◆ type

template<typename T>
using dedekind::order::carrier_cardinality< T >::type
Initial value:
std::conditional_t<IsCountable<typename T::cardinality_type>, ℵ_0, ℶ_1>
dedekind::sets::ℵ_0
ℵ< 0 > ℵ_0
Countable Infinity.
Definition cardinality.cppm:118
dedekind::sets::ℶ_1
ℵ< 1 > ℶ_1
The Continuum (assuming GCH).
Definition cardinality.cppm:119
The documentation for this struct was generated from the following file: