Boolean


\begin{elan} TYPE BOOL \par LET true = TRUE LET false = FALSE \par BOOL OP NOT... ..., b2) BOOL OP = (BOOL CONST b1, b2) BOOL OP <> (BOOL CONST b1, b2) \end{elan}