# ifndef FORWARDTYPES_H
# define FORWARDTYPES_H
-# ifndef NOLCL
# include "lclForwardTypes.h"
-# endif
abst_typedef /*@null@*/ struct s_sRef *sRef;
abst_typedef /*@null@*/ struct s_uentry *uentry;
+typedef struct s_hashNode *hashNode;
immut_typedef int typeIdSet;
typedef /*@only@*/ uentry o_uentry;
abst_typedef struct s_mttok *mttok;
abst_typedef /*@null@*/ struct s_annotationInfo *annotationInfo;
abst_typedef /*@null@*/ struct s_inputStream *inputStream;
abst_typedef /*@null@*/ struct s_stateValue *stateValue;
+abst_typedef /*@null@*/ struct s_pointers *pointers;
abst_typedef /*@null@*/ genericTable valueTable;
abst_typedef /*@null@*/ genericTable metaStateTable;
abst_typedef /*@null@*/ genericTable annotationTable;
abst_typedef /*@null@*/ struct s_metaStateInfo *metaStateInfo;
+abst_typedef /*@null@*/ struct s_functionConstraint *functionConstraint;
+abst_typedef struct s_metaStateConstraint *metaStateConstraint;
+abst_typedef /*@null@*/ struct s_metaStateConstraintList *metaStateConstraintList ;
+abst_typedef struct s_metaStateSpecifier *metaStateSpecifier;
+abst_typedef /*@null@*/ struct s_metaStateExpression *metaStateExpression;
+
abst_typedef /*@null@*/ struct s_functionClause *functionClause;
abst_typedef /*@null@*/ struct s_functionClauseList *functionClauseList;
abst_typedef /*@null@*/ struct s_constraint *constraint;
abst_typedef /*@null@*/ struct s_constraintList *constraintList;
+abst_typedef /*@null@*/ struct s_ctypeList *ctypeList;
+abst_typedef /*@null@*/ ctypeList fileIdList;
/* DRL modified 9 26 00 */
-abst_typedef /*@null@*/ struct s_constraintExpr * constraintExpr;
-
+abst_typedef /*@null@*/ struct s_constraintExpr *constraintExpr;
+abst_typedef /*@untainted@*/ /*@null@*/ char *cstring;
+typedef /*@only@*/ cstring o_cstring;
-/*@-cppnames@*/
-typedef int bool;
-/*@=cppnames@*/
+abst_typedef /*@null@*/ struct s_cstringSList *cstringSList;
-abst_typedef /*@null@*/ char *cstring;
-typedef /*@only@*/ cstring o_cstring;
+typedef enum e_LSLInitRuleCode LSLInitRuleCode;
immut_typedef int ctype;