The step of the fold for encodes: the predicate so far and the slot reached; a leaf moves one slot on, a sum asks that its tag pick a side and moves past its columns. More...

Public Attributes
dedekind::sets::Pred< K >	out
unsigned	at

Detailed Description

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

The step of the fold for encodes: the predicate so far and the slot reached; a leaf moves one slot on, a sum asks that its tag pick a side and moves past its columns.

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

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

Public Attributes

Detailed Description