The concept TS provides ways to define and require concepts in the C++ core language. But it doesn't really add anything besides syntax, everything is already possible in C++14 in a more or less nice looking way. How it is done is shown in this post.

This post contains quite advanced material. I assume you are already familiar with Concepts Lite. For an overview of what Concepts Lite is, I recommend this proposal. Also, I have found this blog v…

We implement concepts in C++14

1. Intro Quantification expresses the extent to which a  predicate is true over a set of elements. Two forms are the most common: Universal $latex \forall$ Existential $latex \exists$ To define the…