<!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 Miscellaneous</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="previous" HREF="node10_mn.html"> <LINK REL="up" HREF="node1_mn.html"> </HEAD>

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

<H1><A ID="SECTION001100000000000000000"> Miscellaneous</A> </H1>

<P> <BR> <IMG STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="img10.png" ALT="
\begin{elan}
BOOL OP ISNIL (NILTYPE CONST x)
BOOL PROC isnil (NILTYPE CONST x)...
...PROC assert (BOOL CONST b)
PROC assert (BOOL CONST b, TEXT CONST t)
\end{elan}
"> <BR>

<P> Note: there are some other routines in the standard library not mentioned in the above list, but those are for internal use within the library, therefore we strongly advise against using them.

<P>

<HR>

</BODY> </HTML>