MODULE BigIntegerFractionVectorFmtLex = VectorFmtLex (BigIntegerFractionFmtLex, BigIntegerFractionSeq) END BigIntegerFractionVectorFmtLex.