gcc/testsuite/gnat.dg/discr15_pkg.ads

   1 package Discr15_Pkg is
   2
   3    type Moment is new Positive;
   4
   5    type Multi_Moment_History is array (Natural range <>, Moment range <>) of Float;
   6
   7    type Rec_Multi_Moment_History (Len : Natural; Size : Moment) is
   8    record
   9       Moments : Multi_Moment_History(0..Len, 1..Size);
  10       Last    : Natural;
  11    end record;
  12
  13    function Sub_History_Of (History : Rec_Multi_Moment_History)
  14       return Rec_Multi_Moment_History;
  15
  16 end Discr15_Pkg;