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

concrete ClauseNor of Clause = CatNor ** ClauseI with (Grammar = GrammarNor) ;