gf-3.1.6: examples/tutorial/old/semantics/BaseSwe.gf
--# -path=.:prelude:present:api:mathematical concrete BaseSwe of Base = BaseI with (Syntax = SyntaxSwe), (Grammar = GrammarSwe), (G = GrammarSwe), (Symbolic = SymbolicSwe), (LexBase = LexBaseSwe) ;