module MetaZ
imports
  ConcreteMetaZ
  z/ext/ISOMetalanguage
  z/anno/Main

exports
  context-free syntax
    "〚" Pred "〛" -> StrategoTerm {cons("ToTerm"),prefer}

  context-free start-symbols Module
