/* Output from LCLint 2.5m */

# include <stdio.h>
# include "bool.h"
# include "employee.h"
# include "empset.h"


# ifndef EXPOSED_TYPE_db_q
typedef struct {
    gender g;
    job j;
    int l;
    int h;
    } db_q;
# endif


# ifndef EXPOSED_TYPE_db_status
typedef enum {db_OK, salERR, genderERR, jobERR, duplERR, missERR} db_status;
# endif

extern db_status hire (employee  /* e */);
extern void uncheckedHire (employee  /* e */);
extern bool fire (int  /* ssNum */);
extern int query (db_q  /* q */, empset  /* s */);
extern bool promote (int  /* ssNum */);
extern db_status setSalary (int  /* ssNum */, int  /* sal */);
extern void db_print (void);
extern void db_initMod (void);