table_type_definition ::=
TYPE type_name IS TABLE OF element_type [NOT NULL] 
   [INDEX BY BINARY_INTEGER];

varray_type_definition ::=
TYPE type_name IS { VARRAY | VARRYING ARRAY} (size_limit)
   OF element_type [NOT NULL] ;

collection_declaration ::=
   collection_name type_name ;