test/db3/bool.lcl

   1 immutable type bool;
   2
   3 constant bool TRUE;
   4 constant bool FALSE;
   5
   6 void bool_initMod (void) internalState; { modifies internalState; }
   7 observer char *bool_unparse (bool b) { modifies nothing; }
   8 bool bool_not (bool b) { modifies nothing; }
   9 bool bool_equal (bool b1, bool b2) { modifies nothing; }