MODULE BigIntegerVectorFmtLex = VectorFmtLex (BigIntegerFmtLex, BigIntegerSeq) END BigIntegerVectorFmtLex.