Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::relational::detail_rows::DefineColumn< K, Cs > Struct Template Reference
module dedekind.relational
Collaboration diagram for dedekind::relational::detail_rows::DefineColumn< K, Cs >:
Collaboration graph
[legend]

Public Member Functions

constexpr Defining< K > operator() (Defining< K > a, unsigned s) const

Public Attributes

unsigned others
Columns cols
dedekind::sets::Row< Cs... > rep
The documentation for this struct was generated from the following file:
  • src/main/modules/dedekind/relational/rows.cppm