next up previous index
Next: Purpose Up: User guide Previous: ON clauses

Managing the modularity

  

Header ::= 
    ModuleClause UsesClauses |
    UsesClauses
    
ModuleClause ::=
    MODULE Ident ";"

UsesClauses ::=
    UseClauses UseClause |
    <void>
    
UseClause ::=
    USE Ident ";"