dedekind::sets::Ø< T, L >::Member Struct Reference

Member-shape mirror of Subobject's. Vacuously inhabited (Ø has no members) — but the wrapper type is still required so the IsSubobject contract has a Member-to-T projection to read through ι. More...

Collaboration diagram for dedekind::sets::Ø< T, L >::Member:

Public Attributes
T	value

Detailed Description

template<typename T = std::nullptr_t, typename L = Boole>
struct dedekind::sets::Ø< T, L >::Member

Member-shape mirror of Subobject's. Vacuously inhabited (Ø has no members) — but the wrapper type is still required so the IsSubobject contract has a Member-to-T projection to read through ι.

---

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

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