Getting types from a generic container in Ada?

[EGarrulo <egarrulo@gmail.com>]

I would like to write a generic package that operates on standard containers. Such package would need access to various properties of a container, and I would like to get them from the container itself, instead of passing them as parameters for the generic package.  In other words, I would like to write something like:


generic
   type Container_Type is private;
package My_Package is
   procedure My_Function (Container : in out Container_Type; 
                          Element   :        Container_Type.Element_Type);
end My_Package;


Is this possible?  Thank you.