Navigating EM syntax diagrams

The following "railroad track" diagram captures the complete syntax of EM. Automatically generated from the actual grammar used by the language translator, you can click on any of the blue rectangles (such as Unit or Decl) and navigate to the definition of these non-terminal elements; the cyan ovals represent terminal tokens scanned by an underlying lexer.

Hint

To quickly jump to the major sections of the grammar, click through the blue non-terminals within the special definitions at the top of the diagram [ $start, Decl_$, Expr_$, Stmt_$, Type_$ ] .

Your browser will not maintain history as you navigate through this diagram. To save time scrolling back to the top of diagram, simply click on the Language Syntax link to reload the entire window.