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@*/ 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 struct s_metaStateSpecifier *metaStateSpecifier;
abst_typedef /*@null@*/ struct s_metaStateExpression *metaStateExpression;