dedekind::relational::detail_rows::AppendColumns Struct Reference

The step of the fold reading an object's columns off its factors: a leaf's sort; a sum's tag, then its summands' columns. More...

Public Member Functions
constexpr Columns	operator() (Columns out, const Factor &f) const

Detailed Description

The step of the fold reading an object's columns off its factors: a leaf's sort; a sum's tag, then its summands' columns.

---

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

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