module alloy/Paragraphs
imports
  alloy/paragraphs/Enum
  alloy/paragraphs/Sig
  alloy/paragraphs/Fact
  alloy/paragraphs/Assert
  alloy/paragraphs/Fun
  alloy/paragraphs/CmdDecl

exports
  sorts Paragraph

  context-free syntax
    EnumDecl -> Paragraph
    SigDecl -> Paragraph 
    FactDecl -> Paragraph
    AssertDecl -> Paragraph 
    FunDecl -> Paragraph 
    CmdDecl -> Paragraph