has_kind Concept Reference

Concept definition

template<typename T>
concept has_kind =  requires { T::kind(); }