dedekind::relational::𝔸< T, L, C >::Member Struct Reference

Member-shape mirror of Subobject's: every element of T is a member of U via the always-True classifier; the wrapper carries the T-value the IsSubobject contract reads back through ι. More...

Collaboration diagram for dedekind::relational::𝔸< T, L, C >::Member:

Public Attributes
T	value

Detailed Description

template<typename T, IsOckhamAlgebra L = Boole, IsCardinality C = default_cardinality_t<T>>
struct dedekind::relational::𝔸< T, L, C >::Member

Member-shape mirror of Subobject's: every element of T is a member of U via the always-True classifier; the wrapper carries the T-value the IsSubobject contract reads back through ι.

---

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

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