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

Concept definition

template<typename R>
concept dedekind::relational::IsFunctional =
dedekind::category::is_right_unique_v<std::remove_cvref_t<R>>
dedekind::relational::IsFunctional
Definition graph.cppm:210
dedekind::category::is_right_unique_v
constexpr bool is_right_unique_v
User-declared right-uniqueness witness for a binary relation.
Definition cartesian.cppm:1001