[splint.git] / test / db3 / bool.lh

/* Output from LCLint 2.5q */
# include "bool.h"


extern void bool_initMod (void);
extern /*@observer@*/ char *bool_unparse (bool  /* b */);
extern bool bool_not (bool  /* b */);
extern bool bool_equal (bool  /* b1 */, bool  /* b2 */);
Commit	Line	Data
5b73c9ca	1	/* Output from LCLint 2.5q */
885824d3	2	# include "bool.h"
	3
	4
	5	extern void bool_initMod (void);
	6	extern /@observer@/ char bool_unparse (bool / b */);
	7	extern bool bool_not (bool /* b */);
	8	extern bool bool_equal (bool /* b1 /, bool / b2 */);