Index
| cmpNat1LT | Data.Number.Nat1 |
| cmpNatLT | Data.Number.Nat |
| divmodNat1 | Data.Number.Nat |
| drop | Data.Number.Nat |
| dropNum | Data.Number.Nat |
| fromNat | Data.Number.Nat |
| fromNat1 | Data.Number.Nat1 |
| I | Data.Number.Nat1 |
| IHi | Data.Number.Nat1 |
| Int | Data.Number.Int |
| invOrd | Data.Number.Nat1 |
| length | Data.Number.Nat |
| lengthNum | Data.Number.Nat |
| minusNat1 | Data.Number.Nat1 |
| Nat | Data.Number.Nat |
| Nat1 | Data.Number.Nat1 |
| Neg | Data.Number.Int |
| O | Data.Number.Nat1 |
| Pos | Data.Number.Nat |
| pos | Data.Number.Int |
| Pos0 | Data.Number.Int |
| replicate | Data.Number.Nat |
| replicateNum | Data.Number.Nat |
| take | Data.Number.Nat |
| takeNum | Data.Number.Nat |
| toNat | Data.Number.Nat |
| toNat1 | Data.Number.Nat1 |
| Zero | Data.Number.Nat |