dedekind::category::detail_limit::projection_arrow< K, P > Struct Template Reference

Public Types
using	type = ProjectionAt<K, P>

---

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

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