test/db3/bool.lh

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