Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::relational::detail_rows::AppendLeaf Struct Reference
module dedekind.relational

The step of a fold building the factors of a product of carriers: one leaf more. More...

Public Member Functions

constexpr std::vector< Factor > operator() (std::vector< Factor > fs, std::size_t c) const

Detailed Description

The step of a fold building the factors of a product of carriers: one leaf more.

The documentation for this struct was generated from the following file:
  • src/main/modules/dedekind/relational/rows.cppm