rpp::constraint::has_operator_traits Concept Reference

Concept definition

template<typename Op, typename Type>
concept rpp::constraint::has_operator_traits =  requires() {
        typename std::decay_t<Op>::template operator_traits<Type>;
        typename std::decay_t<Op>::template operator_traits<Type>::result_type;
    }