TYPE type_name IS RECORD ( field_declaration [, field_declaration]... ) ;