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 ;