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

The step of the fold building a projection: the next kept column's sort, and its equation π_{n + j} == π_c. More...

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

Public Attributes
Columns	cod
dedekind::sets::Pred< K >	eqs

Detailed Description

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

The step of the fold building a projection: the next kept column's sort, and its equation π_{n + j} == π_c.

---

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

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