dedekind::category::codomain_of< X > Struct Template Reference

Public Types
using	type = std::remove_cvref_t<decltype(X::value)>
using	type = typename std::remove_cvref_t<X>::Codomain

---

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

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