MODULE ExtendedPolynomialFmtLex = PolynomialFmtLex (ExtendedBasic, ExtendedFmtLex, ExtendedVectorFmtLex) END ExtendedPolynomialFmtLex.