package Types is
   pragma Pure;
   Max_Name: constant Positive := 10;

   type Wpis is record 
      numer: Positive;
      nazwa: String(1..Max_Name);
   end record;

   type Key_Type is tagged limited private;
   function Get_key(key: access Key_Type) return Positive;
   procedure Set_key(key: access Key_Type; value: Positive);
private
  type Key_Type is tagged limited record
      key_value: Positive;
   end record;
end Types;