with Ada.Finalization;

generic

   I : Integer;

package Controlled6_Pkg.Iterators is

   type Iterator_Type is new Ada.Finalization.Controlled with record
      Current : Node_Access_Type;
   end record;

   function Find return Iterator_Type;

   function Current (Iterator : in Iterator_Type) return T;
   pragma Inline (Current);

   procedure Find_Next (Iterator : in out Iterator_Type);

   function Is_Null (Iterator : in Iterator_Type) return Boolean;

end Controlled6_Pkg.Iterators;