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

concrete ClauseFre of Clause = CatFre ** ClauseI with (Grammar = GrammarFre) ;