Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_f_algebra::HasComponentOrders Concept Referenceexport
module dedekind.category

Op is a product order with component orders to descend into. More...

Concept definition

template<typename Op>
concept dedekind::category::detail_f_algebra::HasComponentOrders = requires { typename component_orders<Op>::first; }
dedekind::category::detail_f_algebra::HasComponentOrders
Op is a product order with component orders to descend into.
Definition f_algebra.cppm:333
dedekind::category::detail_f_algebra::component_orders
The component orders of a product order, where Op is one.
Definition f_algebra.cppm:325

Detailed Description

Op is a product order with component orders to descend into.