\section{Natnum  Struct Reference}
\label{structNatnum}\index{Natnum@{Natnum}}
A structure for representing Natural Numbers from the Peano Arithmetic. 


{\tt \#include $<$peano.h$>$}

Collaboration diagram for Natnum:\begin{figure}[H]
\begin{center}
\leavevmode
\includegraphics[width=60pt]{structNatnum__coll__graph}
\end{center}
\end{figure}
\subsection*{Public Attributes}
\begin{CompactItemize}
\item 
{\bf Natnum\_\-t} {\bf s}
\end{CompactItemize}


\subsection{Detailed Description}
A structure for representing Natural Numbers from the Peano Arithmetic.

Zero is represented as null pointer to pointer to Natnum A number $n>0$ is represented as a linked sequence of Natnum 



\subsection{Member Data Documentation}
\index{Natnum@{Natnum}!s@{s}}
\index{s@{s}!Natnum@{Natnum}}
\subsubsection{\setlength{\rightskip}{0pt plus 5cm}{\bf Natnum\_\-t} Natnum::s}\label{structNatnum_m0}




The documentation for this struct was generated from the following file:\begin{CompactItemize}
\item 
{\bf peano.h}\end{CompactItemize}
