dedekind::category::HasTernarySupport Concept Reference

True when a set object's classifier returns ternary truth values. More...

Concept definition

template<typename S>
concept dedekind::category::HasTernarySupport = 
    IsSubobject<S, typename S::Domain> &&
    std::same_as<std::invoke_result_t<S const&, typename S::Domain const&>,
                 Ternary>

Detailed Description

True when a set object's classifier returns ternary truth values.