#include <pred_succ.hh>
Public Types | |
typedef mlc::internal::wrap< typename mlc::internal::is_a_< sizeof(mlc::form::get< non_vectorial >)) >::check< typename ntg::type_traits< T >::abstract_type, non_vectorial > >::ensure_typ | non_v ) |
typedef int_u< 1 > | bool_with_arith |
typedef T | non_vectorial_with_arith |
typedef mlc::if_< mlc::internal::wrap< typename mlc::internal::is_a_< sizeof(mlc::form::get< ntg::binary >)) >::check< typename ntg::type_traits< T >::abstract_type, ntg::binary > >::ret, id_< bool_with_arith >, id_< non_vectorial_with_arith > >::ret::re | ret ) |
Definition at line 41 of file pred_succ.hh.