MODULE ExtendedVectorTrans = VectorTrans (ExtendedBasic, ExtendedTrans, ExtendedTrans) END ExtendedVectorTrans.