dedekind::analysis::IsKernel Concept Reference

Concept definition

template<typename K, typename D, typename T>
concept dedekind::analysis::IsKernel =  requires(K k, D a, D b) {
  { k(a, b) } -> std::convertible_to<T>;
  { k(b, a) } -> std::convertible_to<T>;
}