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"