---

Peano Arithmetic implementation

The structure of the Peano Arithmetic implementation. More...

Compounds
struct	Natnum
	A structure for representing Natural Numbers from the Peano Arithmetic. More...

---

Detailed Description

The structure of the Peano Arithmetic implementation.

As usual, the module that implements Peano arithmetic is structured in two parts:

• An interface, through a header file
• An implementation file

---