dedekind::sets::is_extensional< T > Struct Template Reference

Primary trait: Is a species defined by its members? More...

Inheritance diagram for dedekind::sets::is_extensional< T >:

Collaboration diagram for dedekind::sets::is_extensional< T >:

Detailed Description

template<typename T>
struct dedekind::sets::is_extensional< T >

Primary trait: Is a species defined by its members?

---

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

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