gf-3.3.3: lib/src/api/SyntaxHin.gf
--# -path=.:./alltenses:../prelude instance SyntaxHin of Syntax = ConstructorsHin, CatHin, StructuralHin, CombinatorsHin ;
--# -path=.:./alltenses:../prelude instance SyntaxHin of Syntax = ConstructorsHin, CatHin, StructuralHin, CombinatorsHin ;