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

Public Types
using	Domain = P
using	Codomain

Public Member Functions
constexpr auto	operator() (const P &p) const

Member Typedef Documentation

Codomain

template<std::size_t K, typename P>

using dedekind::category::detail_limit::ProjectionAt< K, P >::Codomain

Initial value:

 
      std::remove_cvref_t<decltype(Projection<K>{}(std::declval<const P&>()))>

---

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

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