module languages/nqc/syntax/NQC-Types

exports
  sorts TypeDenoter
  context-free syntax
    "int" -> TypeDenoter {cons("int")}