src/Headers/lclForwardTypes.h

   1 # ifndef LCL_FORWARDTYPES_H
   2 # define LCL_FORWARDTYPES_H
   3
   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;
  17
  18 # else
  19 # error "Multiple include"
  20 # endif