dedekind::sets::Env< T, R > Struct Template Reference

The point and the set under definition, threaded through a body: the term nodes read it as the point (conversion, and term_value below), Self reads it as the set. More...

Public Member Functions
constexpr	operator T () const

Public Attributes
const T &	point
const R *	rec

Detailed Description

template<typename T, typename R>
struct dedekind::sets::Env< T, R >

The point and the set under definition, threaded through a body: the term nodes read it as the point (conversion, and term_value below), Self reads it as the set.

Template Parameters

T	the point's type.
R	the closed recursion.

---

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

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