Files
2025-10-25 03:02:53 +03:00

686 B
Raw Permalink Blame History

[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.4Concept predicate[concept.predicate]") = [regular_invocable](concept.regularinvocable#concept:regular_invocable "18.7.3Concept regular_­invocable[concept.regularinvocable]")<F, Args...> && [boolean-testable](concept.booleantestable#concept:boolean-testable "18.5.2Boolean testability[concept.booleantestable]")<invoke_result_t<F, Args...>>;