with Vectors,Integer_Vectors;   use Integer_Vectors;

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