module <identifier> |
{ |
<type declaration> |
<constant declaration> |
<exception declaration> |
interface <identifier> [:<inheritance>] |
{ |
<type declaration> |
<constant declaration> |
<exception declaration> |
[<op_type>] <identifier> (<parameters>) [raises exception] [context]; |
: |
}; |
interface <identifier> [:<inheritance>] |
: |
}; |