dedekind::sets::ChiTag Struct Reference

The classifier under definition: χ(terms…) in a former's body is the set being formed, applied to the terms. More...

Public Member Functions
template<typename... Args>
constexpr auto	operator() (Args... args) const

Detailed Description

The classifier under definition: χ(terms…) in a former's body is the set being formed, applied to the terms.

---

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

• src/main/modules/dedekind/sets/recursion.cppm