task_type_declaration ::= "task" "type" defining_identifier [ known_discriminant_part ] [ "is" task_definition ] ";"
This rule is called by -> full_type_declaration
-> full_type_declaration