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

concrete ClauseCat of Clause = CatCat ** ClauseI with (Grammar = GrammarCat) ;