dedekind::relational::detail_rows::SortsSoFar Struct Reference

The step of a ∧ over a row's cells: the next cell has the next column's sort. The fold's state is the verdict so far and the column reached. More...

Public Attributes
bool	all
std::size_t	at

Detailed Description

The step of a ∧ over a row's cells: the next cell has the next column's sort. The fold's state is the verdict so far and the column reached.

---

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

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