15 lines
686 B
Markdown
15 lines
686 B
Markdown
[concept.predicate]
|
||
|
||
# 18 Concepts library [[concepts]](./#concepts)
|
||
|
||
## 18.7 Callable concepts [[concepts.callable]](concepts.callable#concept.predicate)
|
||
|
||
### 18.7.4 Concept predicate [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...>>;
|
||
`
|