with Vectors,Float_Vectors;   use Float_Vectors;

package Float_Vectors_of_Vectors is new Vectors
  (Link_to_Vector,null,clear,copy,equal,"+","-","-","*",
   Plus_Vector,Min_Vector,Min_Vector,Mult_Vector);
