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

A numeral read in the sort C and written back as a constant of that sort, through lift; a carrier lift has no constant for keeps the numeral. More...

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

Public Attributes
const K &	k
const Lift &	lift

Detailed Description

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

A numeral read in the sort C and written back as a constant of that sort, through lift; a carrier lift has no constant for keeps the numeral.

---

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

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