Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr56_pkg1.ads
blob: 385263263366ccfd4297bff9f7933d468a1f5643 [
file
] [
log
] [
blame
]
package
Discr56_Pkg1
is
type
Buffer
(
Size
:
Positive
)
is
limited
private
;
private
type
Arr
is
array
(
Natural
range
<>)
of
Integer
;
protected
type
Buffer
(
Size
:
Positive
)
is
private
Store
:
Arr
(
0.
.
Size
);
end
Buffer
;
end
Discr56_Pkg1
;