Index

  Zurück

  Fenster schliessen		 task_type_declaration

task_type_declaration ::= task type defining_identifier [known_discriminant_part] [is task_definition];

siehe LRM 9.1

wird genutzt von:

full_type_declaration