typedef union {
  char *str;
  qual qual;
} YYSTYPE;
#define	CONSTANT	257
#define	VARIABLE	258
#define	EQ	259
#define	IMPLIES	260
#define	LEQ	261
#define	UNIFY	262
#define	ERROR	263


extern YYSTYPE yylval;
