dedekind::category::detail::topo_demo_topology Struct Reference

Static Public Member Functions
static constexpr bool	is_cover (const topo_demo_sieve &)
static constexpr bool	identity_cover (int)
static constexpr bool	pullback_stable (const topo_demo_sieve &, topo_demo_arrow)
static constexpr bool	transitive (const topo_demo_sieve &)

---

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

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