Note that within AST-modules AST-syntax holds. Because for AST code the same parser is used, all keywords of AST are reserved also within -specifications. Also the following are special keywords of . They are names of functors (template classes, either from CoSy-fSDL or the sol-library, see section 2.3.1):ADD AFTER ANY BEGIN BEFORE CHECK CLOSE CONSLIST CUT DAG DECLARE DELAYEDREMOVE DELETE EARS END ENDINPUT EXPORT EXPORTS FAIL FALSE FINER FIRST FIRSTFIX FOR FORALL FREE FUN FUNCTION FUNCTOR GLOBAL GENERIC GRAPH GRS HASH HFIRST HYPEREDGE IMPORT IMPORTSDL INDEX INHERITED INITIAL INPUT ITERATE LAST LASTFIX LEFT MARK MODULE NEW NEXT NIL NOT NULL OPT OPTIONS PATH PRED PREV PROC PROPERTY RANGE REDUCIBLE REDEXREMOVE REFINE REUSE RULE RULES STRATUM SUCC TARGET THREADED TREE TRUE USE VIEW VIRTUAL XGRS
LIST SET SETF EGRAPH SGRAPH HGRAPH SEQCLASS BIPUNI BITUNI bitset conslist consset hashset ptrarray bipuni bituni hgraph seqclass