MODULE BigIntegerFractionVector = Vector (BigIntegerFraction, BigIntegerFractionVectorRep) END BigIntegerFractionVector.