Index
| %:* | Data.Nat |
| %:+ | Data.Nat |
| :* | Data.Nat |
| :*$ | Data.Nat |
| :*$$ | Data.Nat |
| :+ | Data.Nat |
| :+$ | Data.Nat |
| :+$$ | Data.Nat |
| applySing | Data.Nat |
| Lit | Data.Nat |
| Nat | Data.Nat |
| natMul | Data.Nat |
| natPlus | Data.Nat |
| S | Data.Nat |
| SCons | Data.Nat |
| SEQ | Data.Nat |
| SFalse | Data.Nat |
| SGT | Data.Nat |
| Sing | Data.Nat |
| SJust | Data.Nat |
| SLambda | Data.Nat |
| SLeft | Data.Nat |
| SLit | Data.Nat |
| SLT | Data.Nat |
| SNat | Data.Nat |
| SNil | Data.Nat |
| SNothing | Data.Nat |
| SRight | Data.Nat |
| SS | Data.Nat |
| SSym0 | Data.Nat |
| SSym0KindInference | Data.Nat |
| SSym1 | Data.Nat |
| STrue | Data.Nat |
| STuple0 | Data.Nat |
| STuple2 | Data.Nat |
| STuple3 | Data.Nat |
| STuple4 | Data.Nat |
| STuple5 | Data.Nat |
| STuple6 | Data.Nat |
| STuple7 | Data.Nat |
| SZ | Data.Nat |
| Z | Data.Nat |
| ZSym0 | Data.Nat |