dedekind::sets::Self< Terms > Struct Template Reference

The set under definition pulled back along the terms: χ(t₁, …) is \(x \mapsto \chi(t_1(x), \ldots)\) with \(\chi\) the comprehension's own classifier, unknown until the former closes it. A relational predicate (an operand of && / ||), evaluable only through an Env. More...

Public Types
using	is_rel_predicate = void

Public Member Functions
template<typename T, typename R>
constexpr bool	operator() (const Env< T, R > &e) const

Public Attributes
std::tuple< Terms... >	terms

Detailed Description

template<typename... Terms>
struct dedekind::sets::Self< Terms >

The set under definition pulled back along the terms: χ(t₁, …) is \(x \mapsto \chi(t_1(x), \ldots)\) with \(\chi\) the comprehension's own classifier, unknown until the former closes it. A relational predicate (an operand of && / ||), evaluable only through an Env.

Template Parameters

Terms

the terms, one per coordinate of the carrier.

---

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

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