dedekind::category::origin_trait< T > Struct Template Reference

Primary trait: The distinguished 'Point' of a species. More...

Detailed Description

template<typename T>
struct dedekind::category::origin_trait< T >

Primary trait: The distinguished 'Point' of a species.

---

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

• src/main/modules/dedekind/category/species.cppm