<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//en">

<!–Converted with LaTeX2HTML 2022 (Released January 1, 2022) –> <HTML lang="en"> <HEAD> <TITLE>Contents of Boolean</TITLE>

<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8"> <META NAME="viewport" CONTENT="width=device-width, initial-scale=1.0"> <META NAME="Generator" CONTENT="LaTeX2HTML v2022">

<LINK REL="STYLESHEET" HREF="ha.css">

<LINK REL="next" HREF="node6_mn.html"> <LINK REL="previous" HREF="node4_mn.html"> <LINK REL="up" HREF="node1_mn.html"> <LINK REL="next" HREF="node6_mn.html"> </HEAD>

<BODY bgcolor="#ffffff" text="#000000" link="#9944EE" vlink="#0000ff" alink="#00ff00">

<H1><A ID="SECTION00140000000000000000"> Boolean</A> </H1>

<P> <BR> <IMG STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="img4.png" ALT="
\begin{elan}
TYPE BOOL
\par
LET true = TRUE
LET false = FALSE
\par
BOOL OP NOT.....
...ONST b1, b2)
BOOL OP \ensuremath{<}\ensuremath{>} (BOOL CONST b1, b2)
\end{elan}
"> <BR>

<P>

<HR>

</BODY> </HTML>