dedekind::sets::Row< Cs > Struct Template Reference

A row: a point of an n-ary product whose arity and columns' sorts are data. Each cell is a value of one of the carriers Cs, and the cell's alternative is its column's sort, so a row is its own schema. Slots are π_1 … π_n. More...

Collaboration diagram for dedekind::sets::Row< Cs >:

Public Types
using	Cell = std::variant<Cs...>

Public Attributes
std::vector< Cell >	cells

Friends
bool	operator== (const Row &, const Row &)=default

Detailed Description

template<typename... Cs>
struct dedekind::sets::Row< Cs >

A row: a point of an n-ary product whose arity and columns' sorts are data. Each cell is a value of one of the carriers Cs, and the cell's alternative is its column's sort, so a row is its own schema. Slots are π_1 … π_n.

Template Parameters

Cs	the carriers a column may have.

---

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

• src/main/modules/dedekind/sets/terms.cppm