Contents

• Summary
• EBNF syntax
• Top sorts
• Bottom sorts
• Keywords

• Number of modules: 5
• Number of sorts: 8
• Number of top sorts: 1
• Number of used sorts: 7
• Number of defined sorts: 6
• Number of undefined sorts: 2
• Number of lexical sorts: 2
• Number of literals: 6

Lex

• imports:
• exports:

Junk

• imports:
• exports:
  • unmodularized

unmodularized used by Stat/if

• "FOO"

Name

• imports:
  • Lex
• exports:
  • name

name used by Stat/move

• { Lex/upper "IN"}+

Top

• imports:
  • Stat
• exports:
  • top

top

• Stat/stat*

Stat

• imports:
  • Lex
  • Junk
  • Name
• exports:
  • if
  • move
  • stat

if used by stat

• "IF" Lex/lower "AND" Junk/unmodularized stat*

move used by stat

• "MOVE" Name/name "TO" Name/name

stat used by if Top/top

• move
• if

• Top/top

• Lex/lower used by Stat/if
• Lex/upper used by Name/name

• "AND" used by Stat/if
• "FOO" used by Junk/unmodularized
• "IF" used by Stat/if
• "IN" used by Name/name
• "MOVE" used by Stat/move
• "TO" used by Stat/move