TYPE type_name IS { VARRAY | VARYING ARRAY } ( size_limit )
  OF element_type [ NOT NULL ] ;