MODULE RealComplexVectorTrans = VectorTrans (RealBasic, RealTrans, RealComplexTrans) END RealComplexVectorTrans.