with Double_Double_Ring;
with Generic_Vectors;

package Double_Double_Vectors is
  new Generic_Vectors(Double_Double_Ring);

-- DESCRIPTION :
--   Defines vectors over the ring of double double numbers.
