MODULE  RealPolynomialFmtLex = PolynomialFmtLex (RealBasic, RealFmtLex, RealVectorFmtLex) END RealPolynomialFmtLex.