template<
      typename T1
    , typename T2
    >
struct[pair](./pair.html){
    typedef[pair](./pair.html)type;
    typedef T1 first;
    typedef T2 second;
};

#include <[boost/mpl/pair.hpp](../../../../boost/mpl/pair.hpp)>

typedef[fold](./fold.html)<[vector\_c](./vector-c.html)<int,-1,0,5,-7,-2,4,5,7>
    ,[pair](./pair.html)<[int\_](./int.html)<0>,[int\_](./int.html)<0> >
    ,[pair](./pair.html)<[next](./next.html)< first<[\_1](./placeholders.html)> >
        ,[if\_](./if.html)<[less](./less.html)<[\_2](./placeholders.html),[int\_](./int.html)<0> >
            ,[next](./next.html)< second<[\_1](./placeholders.html)> >
            , second<[\_1](./placeholders.html)>
            >
        >
    >::type p;[BOOST\_MPL\_ASSERT\_RELATION](./assert-relation.html)( p::first::value, ==, 8 );[BOOST\_MPL\_ASSERT\_RELATION](./assert-relation.html)( p::second::value, ==, 3 );