dedekind::relational::detail_rows::BindMiddle< K > Struct Template Reference

The step of the fold binding a composite's middle: the i-th from the innermost, ∃π_{n + j} over the middle column j = m − i, so the outermost binds the first. More...

Collaboration diagram for dedekind::relational::detail_rows::BindMiddle< K >:

Public Member Functions
constexpr dedekind::sets::Pred< K >	operator() (dedekind::sets::Pred< K > body, unsigned i) const

Public Attributes
Columns	middle
unsigned	n

Detailed Description

template<typename K>
struct dedekind::relational::detail_rows::BindMiddle< K >

The step of the fold binding a composite's middle: the i-th from the innermost, ∃π_{n + j} over the middle column j = m − i, so the outermost binds the first.

---

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

• src/main/modules/dedekind/relational/rows.cppm