Generic formals - meanings and Wikibook suggestion

[Maciej Sobczak <see.my.homepage@gmail.com>]

The following table:

http://en.wikibooks.org/wiki/Ada_Programming/Generics#Generic_formal_types

is extremely useful with generics and provides invaluable help when
writing or reading generic code.

(another way of putting it is that the syntax for generics is just
broken ;-) )

What is missing from this table is the full meaning of the basic:

type T is private;

This basic form is used in many places - even on the same Wikibook
page.

What is the exact meaning of this basic form? What knowledge about T
is expressed this way?
From AARM I conclude that it covers all non-limited types, but
Wikibook provides the same description (second row in the table) for:

type T (<>) is private;

Is there any difference between the two?

(hint: add the basic form to the same table in the Wikibook?)

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com