module alloy/Names
imports
  alloy/lexical/Literals
exports
  sorts Name Ref

context-free syntax
  {Id "/"}+ -> Name {cons("AName")}
  "fun" -> Name {reject}
  "pred" -> Name {reject}
  Name -> Ref {cons("ARef")}
  "univ" -> Ref {cons("AUniv")}
  "Int" -> Ref {cons("AInt")}
  "seq/Int" -> Ref {cons("AIntSeq")}