gf-3.6: lib/src/api/SymbolicEst.gf

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

resource SymbolicEst = Symbolic with 
  (Symbol = SymbolEst),
  (Grammar = GrammarEst) ;