The regime of a carrier for the limit-collapse: Boole when the carrier declares a countable cardinality_type (ℵ_0 / Finite), Kleene when it is uncountable or declares none (the continuum, or a non-cardinality'd primitive such as double). This is a cardinality question (Specker's theorem is about enumerability), not a species one. More...

Public Types
using	type = dedekind::category::Kleene

Detailed Description

template<typename C, typename = void>
struct dedekind::sequences::carrier_regime< C, typename >

The regime of a carrier for the limit-collapse: Boole when the carrier declares a countable cardinality_type (ℵ_0 / Finite), Kleene when it is uncountable or declares none (the continuum, or a non-cardinality'd primitive such as double). This is a cardinality question (Specker's theorem is about enumerability), not a species one.

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

src/main/modules/dedekind/sequences/convergence.cppm

Public Types

Detailed Description