/*@null@*/ /*@only@*/ refTable reftable; /* for branched environments */
/*@only@*/ guardSet guards; /* guarded references (not null) */
aliasTable aliases;
/*@owned@*/ usymtab env;
/*@null@*/ /*@only@*/ refTable reftable; /* for branched environments */
/*@only@*/ guardSet guards; /* guarded references (not null) */
aliasTable aliases;
/*@owned@*/ usymtab env;
# define usymtab_lookup(s) (usymtab_lookupExpose (s))
extern /*@observer@*/ uentry usymtab_lookupGlob (cstring p_k)
# define usymtab_lookup(s) (usymtab_lookupExpose (s))
extern /*@observer@*/ uentry usymtab_lookupGlob (cstring p_k)
/*@modifies internalState, p_e@*/ ;
extern ctype usymtab_lookupAbstractType (cstring p_k)
/*@modifies internalState, p_e@*/ ;
extern ctype usymtab_lookupAbstractType (cstring p_k)
extern usymId usymtab_convertId (usymId p_uid) /*@globals internalState@*/ ;
extern void usymtab_initMod (void) /*@modifies internalState@*/ ;
extern void usymtab_initBool (void) /*@modifies internalState@*/ ;
extern usymId usymtab_convertId (usymId p_uid) /*@globals internalState@*/ ;
extern void usymtab_initMod (void) /*@modifies internalState@*/ ;
extern void usymtab_initBool (void) /*@modifies internalState@*/ ;
/*@globals internalState@*/ ;
extern void usymtab_popOrBranch (exprNode p_pred, exprNode p_expr)
/*@globals internalState@*/ ;
extern void usymtab_popOrBranch (exprNode p_pred, exprNode p_expr)
extern void usymtab_popTrueBranch (exprNode p_pred, exprNode p_expr, clause p_cl)
/*@modifies internalState@*/ ;
extern void usymtab_popTrueBranch (exprNode p_pred, exprNode p_expr, clause p_cl)
/*@modifies internalState@*/ ;
extern void
usymtab_popTrueExecBranch (exprNode p_pred, exprNode p_expr, clause p_cl)
/*@modifies internalState@*/ ;
extern void
usymtab_popTrueExecBranch (exprNode p_pred, exprNode p_expr, clause p_cl)
/*@modifies internalState@*/ ;
-extern bool usymtab_isBoolType (usymId p_uid) /*@globals internalState@*/ ;
-extern /*@only@*/ cstring
- usymtab_getTypeEntryName (usymId p_uid)
+extern bool usymtab_isBoolType (typeId p_uid) /*@globals internalState@*/ ;
+extern /*@only@*/ cstring usymtab_getTypeEntryName (typeId p_uid)
usymtab_supAbstractTypeEntry (/*@only@*/ uentry p_e, bool p_dodef)
/*@modifies internalState, p_e@*/ ;
extern ctype usymtab_supForwardTypeEntry (/*@only@*/ uentry p_e)
usymtab_supAbstractTypeEntry (/*@only@*/ uentry p_e, bool p_dodef)
/*@modifies internalState, p_e@*/ ;
extern ctype usymtab_supForwardTypeEntry (/*@only@*/ uentry p_e)
extern void usymtab_clearAlias (sRef p_s)
/*@modifies internalState, p_s@*/ ;
extern void usymtab_clearAlias (sRef p_s)
/*@modifies internalState, p_s@*/ ;
/*@globals internalState@*/
/*@modifies *g_msgstream, p_e@*/ ;
/*@globals internalState@*/
/*@modifies *g_msgstream, p_e@*/ ;