dedekind::sets::ShiftDown< K > Struct Template Reference

The slots above an eliminated bound slot, moved down by one. More...

Public Member Functions
constexpr dedekind::sets::Term< K >	operator() (unsigned s) const

Public Attributes
unsigned	above

Detailed Description

template<typename K>
struct dedekind::sets::ShiftDown< K >

The slots above an eliminated bound slot, moved down by one.

---

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

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