1 /* Output from LCLint 3.0.0.7 */
6 extern char **globstring;
7 extern /*@only@*/ abst abst_create (/*@dependent@*/ abst /* p */, /*@only@*/ char * /* x */, int /* i */);
8 extern /*@only@*/ char *abst_name (abst /* a */);
9 extern int abst_val (abst /* a */);
10 extern int *abst_aval (abst /* a */);
11 extern /*@only@*/ abst abst_parent (/*@only@*/ abst /* a */);
12 extern /*@dependent@*/ char *immut_name (immut /* im */);
13 extern void abst_setIm (abst /* a */, immut /* im */);
14 extern immut abst_getIm (abst /* a */);