module alloy/Declarations
imports
  alloy/Expressions
  alloy/lexical/Keywords
  alloy/Names

exports
  sorts Decl

  context-free syntax
    Private? Disj? {Name ","}+ ":" Disj? Expr -> Decl {cons("ADecl")}