1 # ifndef LCL_FORWARDTYPES_H
2 # define LCL_FORWARDTYPES_H
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;
12 typedef unsigned int sort;
13 typedef long unsigned lsymbol;
14 typedef struct s_typeExpr *typeExpr;
15 abst_typedef /*@null@*/ struct s_ltoken *ltoken;
16 typedef unsigned int ltokenCode;
19 # error "Multiple include"