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