Re: Generic formals - meanings and Wikibook suggestion

type T is private;

Any definite non-private type, i.e. a type that allows assignment and
declaration of objects without initial expression.

type T (<>) is private;

Much like the above, but object declaration require an initial
expression because the type may be indefinite.

BTW: The table is incomplete for Ada 2005: interfaces are missing. I
think there should be separate tables for formal private and derived
types (definite and indefinite) lest the table become too confusing.