MODULE ExtendedComplexVector = Vector (ExtendedComplex, ExtendedComplexVectorRep) END ExtendedComplexVector.