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

The step of the fold for defined_columns: the terms so far, the predicate left, and whether every column so far was defined. More...

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

Public Attributes
std::vector< dedekind::sets::Term< K > >	terms
dedekind::sets::Pred< K >	rest
bool	defined

Detailed Description

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

The step of the fold for defined_columns: the terms so far, the predicate left, and whether every column so far was defined.

---

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

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