1package 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
16end Discr15_Pkg;
17