concepts

A C++ library for generic template constraints.