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

The Master Safety Certificate for Level 0: is_total, as a concept. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsTotal = is_total_v<T, Op>
dedekind::category::IsTotal
The Master Safety Certificate for Level 0: is_total, as a concept.
Definition total.cppm:395
dedekind::category::is_total_v
constexpr bool is_total_v
Value form of is_total.
Definition total.cppm:312

Detailed Description

The Master Safety Certificate for Level 0: is_total, as a concept.