Index
| cmpNatLT | Data.Number.Nat |
| cmpNatOLT | Data.Number.NatO |
| drop | Data.Number.NatO |
| dropNum | Data.Number.NatO |
| fromNat | Data.Number.Nat |
| fromNatO | Data.Number.NatO |
| I | Data.Number.Nat |
| IHi | Data.Number.Nat |
| Int | Data.Number.Int |
| invOrd | Data.Number.Nat |
| length | Data.Number.NatO |
| lengthNum | Data.Number.NatO |
| minusNat | Data.Number.Nat |
| Nat | |
| 1 (Type/Class) | Data.Number.Nat |
| 2 (Data Constructor) | Data.Number.NatO |
| NatO | |
| 1 (Type/Class) | Data.Number.NatO |
| 2 (Data Constructor) | Data.Number.Int |
| Neg | Data.Number.Int |
| O | Data.Number.Nat |
| pos | Data.Number.Int |
| replicate | Data.Number.NatO |
| replicateNum | Data.Number.NatO |
| take | Data.Number.NatO |
| takeNum | Data.Number.NatO |
| toNat | Data.Number.Nat |
| toNatO | Data.Number.NatO |
| Zero | Data.Number.NatO |