18 Concepts library [concepts]

18.7 Callable concepts [concepts.callable]

18.7.4 Concept Predicate [concept.predicate]

template<class F, class... Args> concept Predicate = RegularInvocable<F, Args...> && Boolean<invoke_result_t<F, Args...>>;