686 B
686 B
[concept.predicate]
18 Concepts library [concepts]
18.7 Callable concepts [concepts.callable]
18.7.4 Concept predicate [concept.predicate]
template<class F, class... Args> concept [predicate](#concept:predicate "18.7.4 Concept predicate [concept.predicate]") = [regular_invocable](concept.regularinvocable#concept:regular_invocable "18.7.3 Concept regular_invocable [concept.regularinvocable]")<F, Args...> && [boolean-testable](concept.booleantestable#concept:boolean-testable "18.5.2 Boolean testability [concept.booleantestable]")<invoke_result_t<F, Args...>>;