dedekind::sets::MentionsSelf Struct Reference

The self algebra: a term or predicate mentions the set under definition when one of its leaves is a χ node; every node passes it up. More...

Public Member Functions
template<typename Leaf>
constexpr std::bool_constant< is_self_v< Leaf > >	operator() (const Leaf &) const
template<typename Node, typename... R>
constexpr std::bool_constant<(R::value||...)>	operator() (const Node &, R...) const

Detailed Description

The self algebra: a term or predicate mentions the set under definition when one of its leaves is a χ node; every node passes it up.

---

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

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