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

Public Types
using	type = typename T::logic_species

---

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

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