|
toplevel-input | ::= | { toplevel-phrase } ;; |
toplevel-phrase | ::= | definition |
| | expr | |
| | # ident directive-argument | |
definition | ::= | let [rec] let-binding { and let-binding } |
| | external value-name : typexpr = external-declaration | |
| | type-definition | |
| | exception-definition | |
| | module module-name [ : module-type ] = module-expr | |
| | module type |