Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::universe_cardinality< U > Struct Template Reference

The cardinality class of a set object's universe. More...

Detailed Description

template<typename U>
struct dedekind::sets::universe_cardinality< U >

The cardinality class of a set object's universe.


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