Next: , Previous: Interface declaration, Up: Input file format


5.5 IDS declaration

 (16) ids                   ::= ids-name "{" member-list "}" ";"
 (17) ids-name              ::= "ids"