/* Output from LCLint 3.0.0.13 */

# include "bool.h"
# include "employee.h"
# include "eref.h"


extern /*@only@*/ ereftab ereftab_create (void);
extern void ereftab_insert (ereftab  /* t */, employee  /* e */, eref  /* er */);
extern bool ereftab_delete (ereftab  /* t */, eref  /* er */);
extern eref ereftab_lookup (employee  /* e */, ereftab  /* t */);
extern void ereftab_initMod (void);