---

Peano Arithmetic File Members

Here is a list of all file members with links to the files they belong to:

• clean() : peanotest.c
• eq() : peano.c, peano.h
• error() : peano.c
• init() : peanotest.c
• itsum() : peano.c, peano.h
• loopsum() : peano.c, peano.h
• main() : peanotest.c
• model_consistent_sum() : peanotest.c
• Natnum_malloc() : peano.c
• Natnum_t : peano.h
• nn2uns() : peano.c, peano.h
• pred() : peano.c, peano.h
• recsum() : peano.c, peano.h
• runTests() : peanotest.c
• S() : peano.c, peano.h
• self_consistent_eq() : peanotest.c
• self_consistent_sum() : peanotest.c
• uns2nn() : peano.c, peano.h
• Z() : peano.c, peano.h
• Zeq() : peano.c, peano.h

---