]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | # ifndef LCL_FORWARDTYPES_H |
2 | # define LCL_FORWARDTYPES_H | |
3 | ||
28bf4b0b | 4 | typedef struct s_opFormNode *opFormNode; |
5 | typedef struct s_termNode *termNode; | |
6 | typedef struct s_abstBodyNode *abstBodyNode; | |
7 | typedef struct s_lclPredicateNode *lclPredicateNode; | |
8 | typedef struct s_stmtNode *stmtNode; | |
9 | abst_typedef struct s_programNodeList *programNodeList; | |
10 | typedef /*@null@*/ struct s_lclTypeSpecNode *lclTypeSpecNode; | |
11 | abst_typedef struct s_termNodeList *termNodeList; | |
885824d3 | 12 | typedef unsigned int sort; |
13 | typedef long unsigned lsymbol; | |
28bf4b0b | 14 | typedef struct s_typeExpr *typeExpr; |
15 | abst_typedef /*@null@*/ struct s_ltoken *ltoken; | |
885824d3 | 16 | typedef unsigned int ltokenCode; |
17 | ||
18 | # else | |
19 | # error "Multiple include" | |
20 | # endif |