bool.lh

bool.lh

/* Output from LCLint 2.1a */
#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);

Return LCLint Home Page David Evans
Software Devices and Systems
evs@sds.lcs.mit.edu