6 typedef /*@abstract@*/ int bool;
11 /*@constant unused bool FALSE@*/
16 /*@constant unused bool TRUE@*/
17 #define TRUE (! FALSE)
21 extern void bool_initMod (void);
22 # define bool_initMod()
24 extern /*@observer@*/ char *bool_unparse (bool);
25 # define bool_unparse(b) ((b) ? "true" : "false" )
27 extern bool bool_not (bool);
28 # define bool_not(b) ((b) ? FALSE : TRUE)
30 extern bool bool_equal (bool, bool);
31 # define bool_equal(a,b) ((a) ? (b) : !(b))