18 Concepts library [concepts]

18.7 Callable concepts [concepts.callable]

18.7.4 Concept predicate [concept.predicate]

template<class F, class... Args> concept predicate = regular_invocable<F, Args...> && boolean<invoke_result_t<F, Args...>>;