path: root/next-lib/src/demo/ClauseAra.gf

concrete ClauseAra of Clause = CatAra ** ClauseI
  with (Grammar = GrammarAra) ;