blob: baeeda007a0b4bc973aee2b7cc3c2ff578263068 [file] [log] [blame]
package Check1 is
type Arr is array (Integer range <>) of Integer;
type P2 is access all Arr;
type R (Disc : access Arr) is limited null record;
function FD (X : access R) return P2;
end Check1;