#include <boost/mpl/empty_sequence.hpp>
#include <boost/mpl/arg.hpp>
#include <boost/mpl/begin_end.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/transform_view.hpp>

#include <boost/static_assert.hpp>

#include <boost/type_traits/is_same.hpp>
#include <boost/type_traits/add_pointer.hpp>

using namespace boost;
using mpl::_1;

struct test1
{
    typedef mpl::begin<mpl::empty_sequence>::type begin;
    typedef mpl::end<mpl::empty_sequence>::type end;
    BOOST_STATIC_ASSERT((is_same<begin,end>::value));
};

struct test2
{
    typedef mpl::transform<
        mpl::empty_sequence, add_pointer<_1>
    >::type empty_sequence;

    typedef mpl::begin<empty_sequence>::type begin;
    typedef mpl::end<empty_sequence>::type end;
    BOOST_STATIC_ASSERT((is_same<begin,end>::value));
};

struct test3
{
    typedef mpl::transform_view<
        mpl::empty_sequence, add_pointer<_1>
    > empty_view;

    typedef mpl::begin<empty_view>::type begin;
    typedef mpl::end<empty_view>::type end;
    BOOST_STATIC_ASSERT((is_same<begin,end>::value));
};

int main()
{
}