module alloy/Main
imports
  alloy/Declarations
  alloy/Lexical
  alloy/Names
  alloy/Expressions
  alloy/Paragraphs
  alloy/Modules
  alloy/Open

exports
  sorts Specification

  context-free syntax
    Module? Open* Paragraph* -> Specification {cons("AlloySpec"), prefer}

  context-free start-symbols Specification
