test/db3/bool.lcl

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