dedekind::sets::ℵ< N > Struct Template Reference

Public Types
using	power_type = ℵ<N + 1>

Static Public Attributes
static constexpr bool	is_finite = false
static constexpr bool	is_countable = (N == 0)

Friends
constexpr friend bool	operator== (const ℵ &, const ℵ &)=default

Detailed Description

template<std::size_t N>
struct dedekind::sets::ℵ< N >

Ladder.

---

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

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