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

Concept definition

template<typename R>
concept dedekind::relational::IsEntire = dedekind::category::is_left_total_v<std::remove_cvref_t<R>>
dedekind::relational::IsEntire
Definition graph.cppm:214
dedekind::category::is_left_total_v
constexpr bool is_left_total_v
User-declared left-totality witness for a binary relation.
Definition cartesian.cppm:991