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

concrete ClauseSpa of Clause = CatSpa ** ClauseI with (Grammar = GrammarSpa) ;