- _ -

• _X : mmx::texp::fieldof< X, Y > , mmx::texp::integerof< X > , mmx::texp::isexact< X > , mmx::texp::isfield< X > , mmx::texp::isring< X > , mmx::texp::rationalof< X > , mmx::texp::ringof< X, Y > , mmx::texp::structureof< X > , mmx::texp::sup< X, Y >
• _Y : mmx::texp::fieldof< X, Y > , mmx::texp::ringof< X, Y > , mmx::texp::sup< X, Y >