-- { dg-do compile }
-- { dg-options "-gnatws" }

with Discr15_Pkg; use Discr15_Pkg;

procedure Discr15 (History : in Rec_Multi_Moment_History) is

  Sub: constant Rec_Multi_Moment_History := Sub_History_Of (History);
  subtype Vec is String(0..Sub.Last);
  Mmts : array(1..Sub.Size) of Vec;

begin
  null;
end;