dedekind::sets::Finite Struct Reference

Public Types
using	power_type = Finite

Public Member Functions
auto	operator<=> (const Finite &) const =default

Static Public Attributes
static constexpr bool	is_finite = true
static constexpr bool	is_countable = true

Detailed Description

---

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

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