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

concrete ClauseFin of Clause = CatFin ** ClauseI with (Grammar = GrammarFin) ;