[Boost-users] [MPL] how do i validate a predicate template?

Is there any way to validate a predicate (function, functor etc) template with MPL? ie, something like: BOOST_MPL_ASSERT((and_< is_function<Predicate>, equal_to<function_traits<Predicate>::arity, int_<1> >, is_same<function_traits<Predicate>::result_type, int >, is_same<function_traits<Predicate>::arg1_type, int >

));

-- Cory Nelson http://www.int64.org