dedekind::category::detail::topo_projection_arrow Struct Reference

Public Types
using	Domain = std::pair<int, int>
using	Codomain = int

Public Member Functions
constexpr int	operator() (const Domain &e) const

---

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

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