dedekind::sets::ChainValues< K, Lift > Struct Template Reference

The values of a finite chain as constants, through lift: the cases of Shannon's expansion; none for any other carrier. More...

Public Member Functions
template<typename C>
constexpr std::vector< dedekind::sets::Term< K > >	operator() (std::type_identity< C >) const

Public Attributes
const Lift &	lift

Detailed Description

template<typename K, typename Lift>
struct dedekind::sets::ChainValues< K, Lift >

The values of a finite chain as constants, through lift: the cases of Shannon's expansion; none for any other carrier.

---

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

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