MODULE Integer32PolynomialFmtLex = PolynomialFmtLex (Integer32Basic, Integer32FmtLex, Integer32VectorFmtLex) END Integer32PolynomialFmtLex.