MODULE  ExtendedComplexVectorTrans = VectorTrans (ExtendedBasic, ExtendedTrans, ExtendedComplexTrans) END ExtendedComplexVectorTrans.