blob: 297ea0c58e07245a7b6bda53206838b8ce7ec28d [file] [log] [blame]
package Lto15 is
type Arr is array (Positive range <>) of Integer;
type R(Size : Positive) is record
Data : Arr (1 .. Size);
end record;
function Proc (Data : Arr) return R;
end Lto15;