\section{Peano Arithmetic implementation}
\label{group__Peano__arithmetic}\index{Peano Arithmetic implementation@{Peano Arithmetic implementation}}
The structure of the Peano Arithmetic implementation. 
\subsection*{Compounds}
\begin{CompactItemize}
\item 
struct {\bf Natnum}
\begin{CompactList}\small\item\em A structure for representing Natural Numbers from the Peano Arithmetic.\item\end{CompactList}\end{CompactItemize}


\subsection{Detailed Description}
The structure of the Peano Arithmetic implementation.



As usual, the module that implements Peano arithmetic is structured in two parts:  \begin{CompactItemize}
\item 
 An interface, through a header file \item 
 An implementation file \end{CompactItemize}
