dedekind::sets::SetExpr< Derived, DomainT, L >::Member Struct Reference

A member is a carrier value; ι projects it back into the ambient (the subobject inclusion the ETCS axioms read). More...

Public Attributes
DomainT	value

Detailed Description

template<typename Derived, typename DomainT, typename L>
struct dedekind::sets::SetExpr< Derived, DomainT, L >::Member

A member is a carrier value; ι projects it back into the ambient (the subobject inclusion the ETCS axioms read).

---

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

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