1 | module <identifier> |
2 | { |
3 | <type declaration> |
4 | <constant declaration> |
5 | <exception declaration> |
6 | interface <identifier> [:<inheritance>] |
7 | { |
8 | <type declaration> |
9 | <constant declaration> |
10 | <exception declaration> |
11 | [<op_type>] <identifier> (<parameters>) [raises exception] [context]; |
12 | : |
13 | }; |
14 | interface <identifier> [:<inheritance>] |
15 | : |
16 | }; |