#include <boost/auto_function/auto_function.hpp>
#include <boost/generic/std_concept/iterator.hpp>
#include <boost/generic/type_traits/concept_is_modeled_by.hpp>
#include <cassert>
#include <forward_list>
#include <iterator>
#include <list>
#include <vector>
 
// Just for simplicity of the example, pull in the full namespace

// Standard reference 24.2.2
// The following code defines the concept "Iterator"
// The concept is uaary with a single type parameter called "X"
// The "using" argument here specifies that "Iterator" is a refinement of the
// previously defined concepts "CopyAssignable", "CopyConstructible",
// "Destructible", and "Swappable".
// The "for typedef" argument is a convenience argument that lets the programmer
// create a simple alias for a more complicated type name. This alias is only for
// use when calling the macro to simplify the specification of further
// requirements.