---

Natnum Struct Reference
[Peano Arithmetic implementation]

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

#include <peano.h>

Collaboration diagram for Natnum:

[legend]List of all members.

Public Attributes
Natnum_t	s

---

Detailed Description

A structure for representing Natural Numbers from the Peano Arithmetic.

Zero is represented as null pointer to pointer to Natnum A number is represented as a linked sequence of Natnum

---

Member Data Documentation

Natnum_t Natnum::s

---

The documentation for this struct was generated from the following file:

• peano.h

---