gf-3.1.6: lib/src/api/SyntaxPol.gf

--# -path=.:alltenses:prelude

instance SyntaxPol of Syntax = 
  ConstructorsPol, CatPol, StructuralPol, CombinatorsPol ;