6template<
typename F,
typename... Args>
9template<
typename R,
typename T,
typename U>
12template<
typename R,
typename T,
typename U>
16 template<
typename Cat>
19 template<
typename Cat>
20 concept ComparisonCategory =
23 template<
typename R,
typename T,
typename U>
24 concept InvocableToStrictWeakOrder =
Invocable<R, T, U> && StrictWeakOrderCategory<meta::InvokeResult<R, T, U>>;
26 template<
typename R,
typename T,
typename U>
27 concept InvocableToComparisonCategory =
Invocable<R, T, U> && ComparisonCategory<meta::InvokeResult<R, T, U>>;
30template<
typename R,
typename T,
typename U = T>
31concept StrictWeakOrder = detail::InvocableToStrictWeakOrder<R, T, T> && detail::InvocableToStrictWeakOrder<R, T, U> &&
32 detail::InvocableToStrictWeakOrder<R, U, T> && detail::InvocableToStrictWeakOrder<R, U, U>;
34template<
typename R,
typename T,
typename U = T>
36 detail::InvocableToComparisonCategory<R, T, T> && detail::InvocableToComparisonCategory<R, T, U> &&
37 detail::InvocableToComparisonCategory<R, U, T> && detail::InvocableToComparisonCategory<R, U, U>;
Definition any_storable.h:9