|
typedef F::template apply< hk< std::is_same< T1, placeholders::_ >::value, T1, mpl::none, mpl::none, mpl::none, mpl::none, mpl::none >::type, hk< std::is_same< T1, placeholders::_ >::value+std::is_same< T2, placeholders::_ >::value, T2, mpl::none, mpl::none, mpl::none, mpl::none, mpl::none >::type, hk< std::is_same< T1, placeholders::_ >::value+std::is_same< T2, placeholders::_ >::value+std::is_same< T3, placeholders::_ >::value, T3, mpl::none, mpl::none, mpl::none, mpl::none, mpl::none >::type, hk< std::is_same< T1, placeholders::_ >::value+std::is_same< T2, placeholders::_ >::value+std::is_same< T3, placeholders::_ >::value+std::is_same< T4, placeholders::_ >::value, T4, mpl::none, mpl::none, mpl::none, mpl::none, mpl::none >::type >::type | type |