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

concrete ClauseIta of Clause = CatIta ** ClauseI with (Grammar = GrammarIta) ;