#include <boost/mpl/int.hpp>

#include <boost/mpl/greater_equal.hpp>

#include <boost/mpl/placeholders.hpp>

#include <boost/mpl/assert.hpp>

#include <boost/static_assert.hpp>

namespace mpl = boost::mpl;

using namespace mpl::placeholders;

typedef mpl::int_<0> N;

template <int n>

struct FACTORIAL_requires_NONNEGATIVE_argument

: mpl::greater_equal<mpl::int_<n>, mpl::int_<0> >

{};

BOOST_MPL_ASSERT((

FACTORIAL_requires_NONNEGATIVE_argument<N::value>));