text: // Copyright Abel Sinkovics (abel@sinkovics.hu) 2013.
  // Distributed under the Boost Software License, Version 1.0.
  //    (See accompanying file LICENSE_1_0.txt or copy at
  //          http://www.boost.org/LICENSE_1_0.txt)
  
  #include <mpllibs/metamonad/eval_multi_let_c.hpp>
  #include <mpllibs/metamonad/pair.hpp>
  #include <mpllibs/metamonad/syntax.hpp>
  
  #include <boost/test/unit_test.hpp>
  
  #include <boost/mpl/plus.hpp>
  #include <boost/mpl/equal_to.hpp>
  #include <boost/mpl/map.hpp>
  #include <boost/mpl/assert.hpp>
  
  #include "common.hpp"
  
  
  BOOST_AUTO_TEST_CASE(test_eval_multi_let_c)
  {
    using boost::mpl::equal_to;
    using boost::mpl::plus;
    using boost::mpl::map;
    
    using mpllibs::metamonad::eval_multi_let_c;
    using mpllibs::metamonad::syntax;
    using mpllibs::metamonad::pair;
  
    // test_evaluation_of_expression
    BOOST_MPL_ASSERT((
      equal_to<
        int13,
        eval_multi_let_c<map<pair<x, syntax<int11> > >, plus<int2, x> >::type
      >
    ));
  }
  
  
  
  