1 /* Output from LCLint 2.5q */
7 extern erc erc_create (void);
8 extern void erc_clear (erc /* c */);
9 extern void erc_insert (erc /* c */, eref /* er */);
10 extern bool /*@alt void@*/ erc_delete (erc /* c */, eref /* er */);
11 extern bool erc_member (eref /* er */, erc /* c */);
12 extern eref erc_choose (erc /* c */);
13 extern int erc_size (erc /* c */);
14 extern void erc_join (erc /* c1 */, erc /* c2 */);
15 extern char *erc_sprint (erc /* c */);
16 extern void erc_final (erc /* c */);
17 extern void erc_initMod (void);