dedekind::category::detail::topo_demo_sieve Struct Reference

Public Types
using	Object = int
using	Arrow = topo_demo_arrow

Public Member Functions
constexpr Object	target () const
constexpr bool	contains (Arrow) const
constexpr topo_demo_sieve	pullback_along (Arrow) const

---

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

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