1private generic
2   Count : Integer := 4;
3package Part_Of1.Private_Generic
4with
5   Abstract_State => State
6is
7
8   subtype Range_Type is Integer range 1 .. Count;
9
10   function Get (I : Range_Type) return Integer;
11
12end Part_Of1.Private_Generic;
13