gf-3.4: lib/src/api/SymbolicMlt.gf
--# -path=.:present:mathematical:prelude resource SymbolicMlt = Symbolic with (Symbol = SymbolMlt), (Grammar = GrammarMlt) ;
--# -path=.:present:mathematical:prelude resource SymbolicMlt = Symbolic with (Symbol = SymbolMlt), (Grammar = GrammarMlt) ;