std::experimental::ranges::Predicate
Min standard notice:
Header: <experimental/ranges/concepts>
The concept Predicate<F, Args…> specifies that F is a predicate that accepts arguments whose types and value categories are encoded by Args…, i.e., it can be invoked with these arguments to produce a Boolean result.
# Declarations
template< class F, class... Args >
concept bool Predicate =
RegularInvocable<F, Args...> &&
Boolean<std::result_of_t<F&&(Args&&...)>>;
(ranges TS)