dedekind::sets::SetObjectLeaf Struct Reference

A leaf that is a set object, the property over_nodes lifts. More...

Static Public Attributes
template<typename T>
static constexpr bool	holds = IsSetObjectLeaf<T>

Detailed Description

A leaf that is a set object, the property over_nodes lifts.

---

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

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