Next: Task declaration, Previous: Interface declaration, Up: Input file format
(16) ids ::= ids-name "{" member-list "}" ";"
(17) ids-name ::= "ids"