with OctoDobl_Complex_Ring;
with Generic_Vectors;

package OctoDobl_Complex_Vectors is new Generic_Vectors(OctoDobl_Complex_Ring);

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