Example to convert an ada vector to a c vector

ada_vect2C.adb

type Index is range 1 .. 3;
type Ada_Vector is array (Index) of Float;
type C_Vector is array (Index) of C_Float;
 
function To_C (Item : in Ada_Vector) return C_Vector is
begin
   return Result : C_Vector do
      for I in Index loop
         Result (I) := C_Float (Item (I));
      end loop;
   end return;
end To_C;