path: root/next-lib/src/api/SymbolicSpa.gf

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

resource SymbolicSpa = Symbolic with 
  (Symbol = SymbolSpa),
  (Grammar = GrammarSpa) ;