dedekind::category::detail::merc_shell Struct Reference

Public Types
using	FilteredSpace = merc_filtered

Public Member Functions
constexpr merc_filtered	filter (const int &) const

---

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

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