A custom type predicate

We are going to see how to write a custom "type predicate": a tool that inspects a given type `T` and determines whether it has the desired interface (all at compile-time). It is like a concept, but implemented in C++11. This will also be an introduction to different meta-programming techniques in C++.

Presenter: Andrzej Krzemieński - the author of Andrzej's C++ blog (https://akrzemi1.wordpress.com/author/akrzemi1/).