Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_comprehension::AscendsByPosition Concept Reference
module dedekind.category

Concept definition

template<typename F>
concept dedekind::category::detail_comprehension::AscendsByPosition = ascends_by_position<F>::value
dedekind::category::detail_comprehension::AscendsByPosition
Definition comprehension.cppm:737
dedekind::category::detail_comprehension::ascends_by_position
The trait behind AscendsByPosition: an arrow over the positions whose present elements rise with the ...
Definition comprehension.cppm:731