dedekind::sets::Rec< S, Body > Struct Template Reference

The recursion, closed: the base's membership, then the body evaluated with this very predicate in scope for its Self nodes. More...

Collaboration diagram for dedekind::sets::Rec< S, Body >:

Public Types
using	Domain = typename S::Domain
using	Codomain = bool

Public Member Functions
constexpr bool	operator() (const Domain &x) const

Public Attributes
S	base
Body	body

Detailed Description

template<IsSetObject S, typename Body>
struct dedekind::sets::Rec< S, Body >

The recursion, closed: the base's membership, then the body evaluated with this very predicate in scope for its Self nodes.

Template Parameters

S	the base set object.
Body	the body.

---

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

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