Generic procedures and their parameters

[Maciej Sobczak <no.spam@no.spam.com>]

Hi,

I have found the following signature for the sorting procedure:

eneric
    type Index_Type   is (<>);
    type Element_Type is private;
    type Array_Type   is array (Index_Type range <>) of Element_Type;
    with function "<" (Left, Right : in Element_Type) return Boolean is <>;
procedure Sort(To_Sort : in out Array_Type);

My question is: what's the purpose of the third parameter (Array_Type)? 
Isn't it implied by the first two and therefore just redundant?


-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/