cmoon::has_type

Defined in module <cmoon.concepts>



template<class T>
concept has_type = 
    requires
{
    typename T::type;
};

(1)

The concept has_type<T> is satisfied if and only if typename T::type is valid.