1with Inline13_Pkg;
2
3package Inline13 is
4
5  type Arr is array (Positive range <>) of Inline13_Pkg.T;
6
7  function F (L : Arr) return String;
8
9end Inline13;
10