Index
| Lit | Data.Nat |
| Nat | Data.Nat |
| NatAbs | Data.Nat |
| natAbs | Data.Nat |
| NatMinus | Data.Nat |
| natMinus | Data.Nat |
| NatMul | Data.Nat |
| natMul | Data.Nat |
| NatPlus | Data.Nat |
| natPlus | Data.Nat |
| PNum | Data.Nat |
| S | Data.Nat |
| Sing | Data.Nat |
| SLit | Data.Nat |
| sLit | Data.Nat |
| SNat | Data.Nat |
| SNum | Data.Nat |
| SS | Data.Nat |
| SSym0 | Data.Nat |
| SSym0KindInference | Data.Nat |
| SSym1 | Data.Nat |
| SZ | Data.Nat |
| Z | Data.Nat |
| ZSym0 | Data.Nat |