The is_executor trait detects whether a type T meets the Executor type requirements.

template<
    typename T>
struct is_executor

Class template is_executor is a UnaryTypeTrait that is derived from true_type if the type T meets the syntactic requirements for Executor, otherwise false_type.