\manpage {bool} {} {Boolean Values} 
 
\definition
An instance of the data type $bool$ has either the value $true$ or $false$. 
The usual \CC logical operators \&\& (and), $||$ (or), ! (negation) are 
defined for $bool$. 
 
