]>
Commit | Line | Data |
---|---|---|
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; } |