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

concrete ClauseBul of Clause = CatBul ** ClauseI with (Grammar = GrammarBul) ;