bool.lcl

bool.lcl

void bool_initMod (void) internalState; { modifies internalState; }
observer char *bool_unparse (bool b) { modifies nothing; } 
bool bool_not (bool b) { modifies nothing; }
bool bool_equal (bool b1, bool b2) { modifies nothing; }


Return to Index | LCLint Home Page

David Evans
evans@cs.virginia.edu