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