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

The step of the fold for identified: one equation more. More...

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

Public Attributes
unsigned	from
unsigned	to

Detailed Description

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

The step of the fold for identified: one equation more.

---

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

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