[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...>>;
`
