gf-3.2.9: lib/src/api/SymbolicPes.gf

--# -path=.:present:mathematical:prelude

resource SymbolicPes = Symbolic with 
  (Symbol = SymbolPes),
  (Grammar = GrammarPes) ;