• result : mmx::texp::Eq< A, B > , mmx::texp::Eq< A, A >
• V : mmx::texp::equal< X, Y > , mmx::texp::equal< X, X > , mmx::texp::operator_iscommutative< F, X, Y > , mmx::texp::operator_isinplace< F, X, Y >