Index
| decr | Numeric.Peano |
| fromPeano | Numeric.Peano |
| infinity | Numeric.Peano |
| isSucc | Numeric.Peano |
| isZero | Numeric.Peano |
| Nat | Numeric.Peano |
| natLength | Numeric.Peano |
| Neg | Numeric.Peano |
| Peano | Numeric.Peano |
| Pos | Numeric.Peano |
| S | Numeric.Peano |
| Sign | Numeric.Peano |
| takeNat | Numeric.Peano |
| Whole | |
| 1 (Type/Class) | Numeric.Peano |
| 2 (Data Constructor) | Numeric.Peano |
| Z | Numeric.Peano |