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

/* Output from Splint 3.0.0.20 */
# 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
11db3170	1	/* Output from Splint 3.0.0.20 */
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 */);