module languages/nqc/syntax/NQC

imports languages/nqc/syntax/NQC-Tasks 
        languages/nqc/syntax/NQC-Functions

exports
  context-free start-symbols Program

  sorts Program
  context-free syntax
    VarDeclarationList? FunctionList? TaskList -> Program {cons("program")}